public class RootDecision extends Decision
Modifier and Type | Field and Description |
---|---|
static RootDecision |
ROOT |
branch, max_branching, var
Modifier and Type | Method and Description |
---|---|
void |
apply()
Apply the current decision
|
void |
free()
Free the decision, ie, it can be reused
|
Object |
getDecisionValue()
Return the value object involves in the decision
|
void |
reverse()
Reverse the decision operator
|
String |
toString() |
buildNext, duplicate, getArity, getDecisionVariable, getPosition, hasNext, isEquivalentTo, rewind, set, setPosition, setRefutable, triesLeft
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
explain, forEachIntVar
public static final RootDecision ROOT
public Object getDecisionValue()
Decision
getDecisionValue
in class Decision
public void apply() throws ContradictionException
Decision
apply
in class Decision
ContradictionException
- if the application of this decision failspublic void free()
Decision
public void reverse()
Decision
Copyright © 2018. All rights reserved.