- java.lang.Object
-
- org.chocosolver.solver.search.strategy.decision.Decision<Variable>
-
- org.chocosolver.solver.search.strategy.decision.IbexDecision
-
- All Implemented Interfaces:
Serializable
,ICause
public class IbexDecision extends Decision<Variable>
A decision that delegates the search process to Ibex- Since:
- 4.0.6
- Author:
- Charles Prud'homme
- See Also:
- Serialized Form
-
-
Field Summary
-
Fields inherited from class org.chocosolver.solver.search.strategy.decision.Decision
branch, max_branching, var
-
-
Constructor Summary
Constructors Constructor Description IbexDecision(Model model)
Create an decision based on anRealVar
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
apply()
Apply the current decisionvoid
free()
Free the decision, ie, it can be reusedObject
getDecisionValue()
Return the value object involves in the decisionboolean
inUse()
String
toString()
-
Methods inherited from class org.chocosolver.solver.search.strategy.decision.Decision
buildNext, duplicate, getArity, getDecisionVariable, getPosition, hasNext, isEquivalentTo, reverse, rewind, set, setPosition, setRefutable, triesLeft
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface org.chocosolver.solver.ICause
explain, forEachIntVar
-
-
-
-
Method Detail
-
getDecisionValue
public Object getDecisionValue()
Description copied from class:Decision
Return the value object involves in the decision- Specified by:
getDecisionValue
in classDecision<Variable>
- Returns:
- a value object
-
apply
public void apply() throws ContradictionException
Description copied from class:Decision
Apply the current decision- Specified by:
apply
in classDecision<Variable>
- Throws:
ContradictionException
- if the application of this decision fails
-
free
public void free()
Description copied from class:Decision
Free the decision, ie, it can be reused
-
inUse
public boolean inUse()
-
-