Package | Description |
---|---|
org.chocosolver.solver.search.strategy | |
org.chocosolver.solver.search.strategy.selectors.variables | |
org.chocosolver.solver.search.strategy.strategy |
Modifier and Type | Method and Description |
---|---|
static IntStrategy |
Search.intVarSearch(VariableSelector<IntVar> varSelector,
IntValueSelector valSelector,
DecisionOperator<IntVar> decisionOperator,
IntVar... vars)
Builds your own search strategy based on binary decisions.
|
static IntStrategy |
Search.intVarSearch(VariableSelector<IntVar> varSelector,
IntValueSelector valSelector,
IntVar... vars)
Builds your own assignment strategy based on binary decisions.
|
static RealStrategy |
Search.realVarSearch(VariableSelector<RealVar> varS,
RealValueSelector valS,
RealVar... rvars)
Generic strategy to branch on real variables, based on domain splitting
|
static SetStrategy |
Search.setVarSearch(VariableSelector<SetVar> varS,
SetValueSelector valS,
boolean enforceFirst,
SetVar... sets)
Generic strategy to branch on set variables
|
Modifier and Type | Class and Description |
---|---|
class |
AntiFirstFail
Anti first fail variable selector.
|
class |
Cyclic<V extends Variable>
A cyclic variable selector :
Iterates over variables according to lexicographic ordering in a cyclic manner (loop back to the first variable)
|
class |
FirstFail
First fail variable selector.
|
class |
GeneralizedMinDomVarSelector
First fail variable selector generalized to all variables.
|
class |
InputOrder<V extends Variable>
Input order variable selector.
|
class |
Largest
Largest variable selector.
|
class |
MaxDelta
Selects the variables maximising envelopeSize-kernelSize.
|
class |
MaxRegret
Max regret variable selector.
|
class |
MinDelta
Selects the variables minimising envelopeSize-kernelSize (quite similar
to minDomain, or first-fail)
|
class |
Occurrence<V extends Variable>
Occurrence variable selector.
|
class |
Random<T extends Variable>
Random variable selector.
|
class |
Smallest
Smallest variable selector.
|
class |
VariableSelectorWithTies<V extends Variable>
|
Modifier and Type | Field and Description |
---|---|
protected VariableSelector<SetVar> |
SetStrategy.varSelector
How a variable is selected
|
Modifier and Type | Method and Description |
---|---|
VariableSelector<IntVar> |
IntStrategy.getVarSelector() |
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.
|
RealStrategy(RealVar[] scope,
VariableSelector<RealVar> varselector,
RealValueSelector valueIterator) |
SetStrategy(SetVar[] scope,
VariableSelector<SetVar> varS,
SetValueSelector valS,
boolean enforceFirst)
Generic strategy to branch on set variables
|
Copyright © 2017. All rights reserved.