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);