il2.inf.edgedeletion
Enum EDAlgorithm.RankingHeuristic

Object
  extended by Enum<EDAlgorithm.RankingHeuristic>
      extended by EDAlgorithm.RankingHeuristic
All Implemented Interfaces:
Serializable, Comparable<EDAlgorithm.RankingHeuristic>
Enclosing class:
EDAlgorithm

public static enum EDAlgorithm.RankingHeuristic
extends Enum<EDAlgorithm.RankingHeuristic>

Since:
20081021
Author:
keith cascio

Enum Constant Summary
mi
           
random
           
 
Field Summary
static EDAlgorithm.RankingHeuristic DEFAULT
           
 String name
           
 
Method Summary
abstract  int[][] rank(EDAlgorithm eda)
           
 String toString()
           
static EDAlgorithm.RankingHeuristic valueOf(String name)
          Returns the enum constant of this type with the specified name.
static EDAlgorithm.RankingHeuristic[] values()
          Returns an array containing the constants of this enum type, in the order they are declared.
 
Methods inherited from class Enum
compareTo, equals, getDeclaringClass, hashCode, name, ordinal, valueOf
 
Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

mi

public static final EDAlgorithm.RankingHeuristic mi

random

public static final EDAlgorithm.RankingHeuristic random
Field Detail

name

public final String name

DEFAULT

public static final EDAlgorithm.RankingHeuristic DEFAULT
Method Detail

values

public static EDAlgorithm.RankingHeuristic[] values()
Returns an array containing the constants of this enum type, in the order they are declared. This method may be used to iterate over the constants as follows:
for (EDAlgorithm.RankingHeuristic c : EDAlgorithm.RankingHeuristic.values())
    System.out.println(c);

Returns:
an array containing the constants of this enum type, in the order they are declared

valueOf

public static EDAlgorithm.RankingHeuristic valueOf(String name)
Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Parameters:
name - the name of the enum constant to be returned.
Returns:
the enum constant with the specified name
Throws:
IllegalArgumentException - if this enum type has no constant with the specified name
NullPointerException - if the argument is null

rank

public abstract int[][] rank(EDAlgorithm eda)

toString

public String toString()
Overrides:
toString in class Enum<EDAlgorithm.RankingHeuristic>


Copyright 2010 UCLA Automated Reasoning Group