Uses of Class
org.chocosolver.solver.search.strategy.decision.IntDecision
-
Packages that use IntDecision Package Description org.chocosolver.solver.search.strategy.decision org.chocosolver.solver.search.strategy.strategy -
-
Uses of IntDecision in org.chocosolver.solver.search.strategy.decision
Methods in org.chocosolver.solver.search.strategy.decision that return IntDecision Modifier and Type Method Description IntDecision
IntDecision. duplicate()
IntDecision
IntDecision. flip()
IntDecision
DecisionMaker. makeIntDecision(IntVar var, DecisionOperator<IntVar> dop, int value)
Constructor parameters in org.chocosolver.solver.search.strategy.decision with type arguments of type IntDecision Constructor Description IntDecision(PoolManager<IntDecision> poolManager)
Create an decision based on anIntVar
-
Uses of IntDecision in org.chocosolver.solver.search.strategy.strategy
Methods in org.chocosolver.solver.search.strategy.strategy that return IntDecision Modifier and Type Method Description protected IntDecision
AbstractStrategy. makeIntDecision(IntVar var, int val)
Creates an assignment decision object for integer variables Just a simple shortcut for : solver.getDecisionPath().makeIntDecision(var,DecisionOperatorFactory.makeIntEq(),val);
-