public enum VarSelectorType extends java.lang.Enum<VarSelectorType>
Enum Constant and Description |
---|
CUSTOM
custom variable selector
|
INPUT_ORDER
selection of variables in order of definition
|
MAX_DEGREE
largest number of attached constraints
|
MAX_IMPACT
largest impact, select variable which when assigned restricts
the domains of all other variables by the largest amount
|
MAX_REGRET
largest difference between smallest and second smallest value in domain
|
MAX_VALUE
largest upper bound
|
MAX_WEIGHTED_DEGREE
largest number of recorded failures in attached constraints
|
MIN_DOMAIN
min size of domain, tie break undefined
|
MIN_DOMAIN_MAX_DEGREE
min size of domain as first criteria, tie break by degree
that is the number of attached constraints
|
MIN_DOMAIN_MIN_VALUE
min size of domain, random tie break
|
MIN_DOMAIN_OVER_DEGREE
min value of fraction of domain size and degree
|
MIN_DOMAIN_OVER_WEIGHTED_DEGREE
min value of domain size over weighted degree
|
MIN_DOMAIN_RANDOM
min size of domain, random tie break
|
MIN_VALUE
smallest lower bound
|
RANDOM
random selection of variables
|
Modifier and Type | Method and Description |
---|---|
static VarSelectorType |
valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static VarSelectorType[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final VarSelectorType CUSTOM
public static final VarSelectorType INPUT_ORDER
public static final VarSelectorType MAX_DEGREE
public static final VarSelectorType MAX_IMPACT
public static final VarSelectorType MAX_REGRET
public static final VarSelectorType MAX_VALUE
public static final VarSelectorType MAX_WEIGHTED_DEGREE
public static final VarSelectorType MIN_DOMAIN
public static final VarSelectorType MIN_DOMAIN_MAX_DEGREE
public static final VarSelectorType MIN_DOMAIN_MIN_VALUE
public static final VarSelectorType MIN_DOMAIN_OVER_DEGREE
public static final VarSelectorType MIN_DOMAIN_OVER_WEIGHTED_DEGREE
public static final VarSelectorType MIN_DOMAIN_RANDOM
public static final VarSelectorType MIN_VALUE
public static final VarSelectorType RANDOM
public static VarSelectorType 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 VarSelectorType[] values()
for (VarSelectorType c : VarSelectorType.values()) System.out.println(c);