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
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.