Uses of Interface
org.chocosolver.solver.search.strategy.assignments.DecisionOperator
-
-
Uses of DecisionOperator in org.chocosolver.solver.search.strategy
Methods in org.chocosolver.solver.search.strategy with parameters of type DecisionOperator Modifier and Type Method Description static IntStrategy
Search. intVarSearch(VariableSelector<IntVar> varSelector, IntValueSelector valSelector, DecisionOperator<IntVar> decisionOperator, IntVar... vars)
Builds your own search strategy based on binary decisions. -
Uses of DecisionOperator in org.chocosolver.solver.search.strategy.assignments
Methods in org.chocosolver.solver.search.strategy.assignments that return DecisionOperator Modifier and Type Method Description static DecisionOperator<IntVar>
DecisionOperatorFactory. makeIntEq()
static DecisionOperator<IntVar>
DecisionOperatorFactory. makeIntNeq()
static DecisionOperator<IntVar>
DecisionOperatorFactory. makeIntReverseSplit()
static DecisionOperator<IntVar>
DecisionOperatorFactory. makeIntSplit()
static DecisionOperator<SetVar>
DecisionOperatorFactory. makeSetForce()
static DecisionOperator<SetVar>
DecisionOperatorFactory. makeSetRemove()
DecisionOperator<V>
DecisionOperator. opposite()
-
Uses of DecisionOperator in org.chocosolver.solver.search.strategy.decision
Methods in org.chocosolver.solver.search.strategy.decision that return DecisionOperator Modifier and Type Method Description DecisionOperator<IntVar>
IntDecision. getDecOp()
Methods in org.chocosolver.solver.search.strategy.decision with parameters of type DecisionOperator Modifier and Type Method Description IntDecision
DecisionMaker. makeIntDecision(IntVar var, DecisionOperator<IntVar> dop, int value)
SetDecision
DecisionMaker. makeSetDecision(SetVar var, DecisionOperator<SetVar> dop, int value)
void
IntDecision. set(IntVar v, int value, DecisionOperator<IntVar> assignment)
Instantiate this decision with the parametersvoid
SetDecision. set(SetVar v, int value, DecisionOperator<SetVar> operator)
Instantiate this decision with the parameters -
Uses of DecisionOperator in org.chocosolver.solver.search.strategy.selectors.values
Constructors in org.chocosolver.solver.search.strategy.selectors.values with parameters of type DecisionOperator Constructor Description IntDomainBest(int maxdom, DecisionOperator<IntVar> dop)
Create a value selector that returns the best value wrt to the objective to optimize.IntDomainImpact(int maxdom, DecisionOperator<IntVar> dop, boolean smallest)
Create a value selector that returns the best value wrt to its impact on domains cardinality. -
Uses of DecisionOperator in org.chocosolver.solver.search.strategy.strategy
Fields in org.chocosolver.solver.search.strategy.strategy declared as DecisionOperator Modifier and Type Field Description protected DecisionOperator<SetVar>
SetStrategy. operator
A decision operatorMethods in org.chocosolver.solver.search.strategy.strategy that return DecisionOperator Modifier and Type Method Description DecisionOperator<IntVar>
IntStrategy. getDecisionOperator()
Constructors in org.chocosolver.solver.search.strategy.strategy with parameters of type DecisionOperator Constructor Description 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.
-