public class DecisionMaker extends Object
Project: choco-solver.
Constructor and Description |
---|
DecisionMaker()
Create a decision maker, that eases decision creation.
|
Modifier and Type | Method and 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)
|
public DecisionMaker()
public IntDecision makeIntDecision(IntVar var, DecisionOperator<IntVar> dop, int value)
var
- an integer variabledop
- a decision operatorvalue
- a valuepublic RealDecision makeRealDecision(RealVar var, double value, double epsilon, boolean leftFirst)
var
- a real variablevalue
- a valueepsilon
- gap for refutationleftFirst
- select left range firstpublic SetDecision makeSetDecision(SetVar var, DecisionOperator<SetVar> dop, int value)
var
- a set variabledop
- a decision operatorvalue
- a valueCopyright © 2018. All rights reserved.