il2.inf
Enum Algorithm.Setting

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

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

control inference engine compilation


Enum Constant Summary
eliminationorderheuristic
           
eliminationorderrepetitions
           
memoryentriesceiling
           
memoryproportionceiling
           
order2jointree
           
queries
           
 
Field Summary
 Map<Algorithm.Key,Object> properties
           
 
Method Summary
 Object get(Algorithm.Key key)
           
static Object value(Algorithm.Setting setting, Map<Algorithm.Setting,?> settings)
           
static Algorithm.Setting valueOf(String name)
          Returns the enum constant of this type with the specified name.
static Algorithm.Setting[] 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

eliminationorderheuristic

public static final Algorithm.Setting eliminationorderheuristic

eliminationorderrepetitions

public static final Algorithm.Setting eliminationorderrepetitions

order2jointree

public static final Algorithm.Setting order2jointree

queries

public static final Algorithm.Setting queries

memoryproportionceiling

public static final Algorithm.Setting memoryproportionceiling

memoryentriesceiling

public static final Algorithm.Setting memoryentriesceiling
Field Detail

properties

public final Map<Algorithm.Key,Object> properties
Method Detail

values

public static Algorithm.Setting[] 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.Setting c : Algorithm.Setting.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.Setting 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

get

public Object get(Algorithm.Key key)

value

public static Object value(Algorithm.Setting setting,
                           Map<Algorithm.Setting,?> settings)


Copyright 2010 UCLA Automated Reasoning Group