Class DecisionMaker
- java.lang.Object
-
- org.chocosolver.solver.search.strategy.decision.DecisionMaker
-
- Direct Known Subclasses:
DecisionPath
public class DecisionMaker extends Object
A class that creates decisions on demand and maintains pool managerProject: choco-solver.
- Since:
- 14/03/2016.
- Author:
- Charles Prud'homme
-
-
Constructor Summary
Constructors Constructor Description DecisionMaker()
Create a decision maker, that eases decision creation.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description IntDecision
makeIntDecision(IntVar var, DecisionOperator<IntVar> dop, int value)
RealDecision
makeRealDecision(RealVar var, double value, double epsilon, boolean leftFirst)
SetDecision
makeSetDecision(SetVar var, DecisionOperator<SetVar> dop, int value)
-
-
-
Method Detail
-
makeIntDecision
public IntDecision makeIntDecision(IntVar var, DecisionOperator<IntVar> dop, int value)
- Parameters:
var
- an integer variabledop
- a decision operatorvalue
- a value- Returns:
- an IntDecision
-
makeRealDecision
public RealDecision makeRealDecision(RealVar var, double value, double epsilon, boolean leftFirst)
- Parameters:
var
- a real variablevalue
- a valueepsilon
- gap for refutationleftFirst
- select left range first- Returns:
- an RealDecision
-
makeSetDecision
public SetDecision makeSetDecision(SetVar var, DecisionOperator<SetVar> dop, int value)
- Parameters:
var
- a set variabledop
- a decision operatorvalue
- a value- Returns:
- an SetDecision
-
-