Modifier and Type | Method and Description |
---|---|
static IntValueSelector |
IntStrategyFactory.max_value_selector()
Selects the variable upper bound
|
static IntValueSelector |
IntStrategyFactory.mid_value_selector()
Selects a value at the middle between the variable lower and upper bounds
BEWARE: this should not be used within assignments and/or value removals if variables
have a bounded domain.
|
static IntValueSelector |
IntStrategyFactory.min_value_selector()
Selects the variable lower bound
|
static IntValueSelector |
IntStrategyFactory.random_value_selector(long SEED)
Selects randomly a value in the variable domain.
|
static IntValueSelector |
IntStrategyFactory.randomBound_value_selector(long SEED)
Selects randomly either the lower bound or the upper bound of the variable
Takes an arbitrary value in {LB,UB}
|
Modifier and Type | Method and Description |
---|---|
static IntStrategy |
IntStrategyFactory.custom(VariableSelector<IntVar> VAR_SELECTOR,
IntValueSelector VAL_SELECTOR,
DecisionOperator<IntVar> DEC_OPERATOR,
IntVar... VARS)
Builds your own search strategy
|
static IntStrategy |
IntStrategyFactory.custom(VariableSelector<IntVar> VAR_SELECTOR,
IntValueSelector VAL_SELECTOR,
IntVar... VARS)
Builds your own assignment strategy :
Selects a variable X and a value V to make the decision X = V.
|
static AbstractStrategy<IntVar> |
IntStrategyFactory.domOverWDeg(IntVar[] VARS,
long SEED,
IntValueSelector VAL_SELECTOR)
Assignment strategy which selects a variable according to
DomOverWDeg
and assign it to the selected value |
Modifier and Type | Class and Description |
---|---|
class |
IntDomainMax
Selects the variable upper bound
|
class |
IntDomainMedian
Selects the median value in the variable domain.
|
class |
IntDomainMiddle
Selects the value in the variable domain closest to the mean of its current bounds.
|
class |
IntDomainMin
Selects the variable lower bound
|
class |
IntDomainRandom
Selects randomly a value in the variable domain.
|
class |
IntDomainRandomBound
Selects randomly between the lower and the upper bound of the variable
|
Constructor and Description |
---|
DomOverWDeg(IntVar[] variables,
long seed,
IntValueSelector valueSelector) |
Constructor and Description |
---|
IntStrategy(IntVar[] scope,
VariableSelector<IntVar> varSelector,
IntValueSelector valSelector)
Creates a search strategy which selects a variable X and a value V to perform
the decision X = V
BEWARE: if the variable domain is not enumerated, the value V should be a domain bound.
|
IntStrategy(IntVar[] scope,
VariableSelector<IntVar> varSelector,
IntValueSelector valSelector,
DecisionOperator<IntVar> decOperator)
Creates a search strategy which selects a variable X and a value V to perform
the decision X decOperator V
This can be X <= V for instance.
|
Once(IntVar[] scope,
VariableSelector<IntVar> varselector,
IntValueSelector valueSelector) |
Once(IntVar[] scope,
VariableSelector<IntVar> varselector,
IntValueSelector valueSelector,
DecisionOperator<IntVar> assgnt) |
Copyright © 2015. All rights reserved.