public enum ValueSelectorType extends java.lang.Enum<ValueSelectorType>
| Enum Constant and Description | 
|---|
CUSTOM
custom selector 
 | 
IN_DOMAIN
try values in increasing order one at a time 
 without removing failed values on backtracking 
 | 
MAX
try values in increasing order, remove value on backtracking 
 | 
MEDIAN
try the median values first,
 e.g if domain has 5 values, try the third value first 
 | 
MIDDLE
try values in the middle of domain,
 the closest to (min+max)/2 
 | 
MIN
try values in increasing order, remove value on backtracking 
 | 
MIN_IMPACT
try a value which causes the smallest domain reduction in all other variables 
 | 
MIN_MAX_ALTERNATE
try to alternate minimal and maximal values 
 | 
RANDOM
try a random value 
 | 
| Modifier and Type | Method and Description | 
|---|---|
static ValueSelectorType | 
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name. 
 | 
static ValueSelectorType[] | 
values()
Returns an array containing the constants of this enum type, in
the order they are declared. 
 | 
public static final ValueSelectorType CUSTOM
public static final ValueSelectorType IN_DOMAIN
public static final ValueSelectorType MAX
public static final ValueSelectorType MEDIAN
public static final ValueSelectorType MIDDLE
public static final ValueSelectorType MIN
public static final ValueSelectorType MIN_IMPACT
public static final ValueSelectorType MIN_MAX_ALTERNATE
public static final ValueSelectorType RANDOM
public static ValueSelectorType valueOf(java.lang.String name)
name - the name of the enum constant to be returned.java.lang.IllegalArgumentException - if this enum type has no constant with the specified namejava.lang.NullPointerException - if the argument is nullpublic static ValueSelectorType[] values()
for (ValueSelectorType c : ValueSelectorType.values()) System.out.println(c);