il2.inf
Enum Algorithm.Result

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

public static enum Algorithm.Result
extends Enum<Algorithm.Result>

the inference engine itself and other intermediate side-effects


Enum Constant Summary
cachesrequested
           
cachingscheme
           
eliminationorderrecord
           
jointengine
           
jointree
           
partialderivativeengine
           
 
Method Summary
static Algorithm.Result valueOf(String name)
          Returns the enum constant of this type with the specified name.
static Algorithm.Result[] 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, toString, valueOf
 
Methods inherited from class Object
getClass, notify, notifyAll, wait, wait, wait
 

Enum Constant Detail

jointengine

public static final Algorithm.Result jointengine

partialderivativeengine

public static final Algorithm.Result partialderivativeengine

eliminationorderrecord

public static final Algorithm.Result eliminationorderrecord

jointree

public static final Algorithm.Result jointree

cachingscheme

public static final Algorithm.Result cachingscheme

cachesrequested

public static final Algorithm.Result cachesrequested
Method Detail

values

public static Algorithm.Result[] 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 (Algorithm.Result c : Algorithm.Result.values())
    System.out.println(c);

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

valueOf

public static Algorithm.Result 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


Copyright 2010 UCLA Automated Reasoning Group