choco.kernel.solver.goals.solver
Class ChoicePoint
java.lang.Object
choco.kernel.solver.goals.solver.ChoicePoint
- All Implemented Interfaces:
- IPretty, Goal
public class ChoicePoint
- extends Object
- implements Goal
Fields inherited from interface choco.kernel.solver.goals.Goal |
LOGGER |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
choices
protected Goal[] choices
ChoicePoint
public ChoicePoint(Goal[] goals)
pretty
public String pretty()
- Description copied from interface:
IPretty
- pretty printing of the object. This String is not constant and may depend on the context.
- Specified by:
pretty
in interface IPretty
- Returns:
- a readable string representation of the object
execute
public Goal execute(Solver solver)
throws ContradictionException
- Specified by:
execute
in interface Goal
- Throws:
ContradictionException
getType
public GoalType getType()
- Specified by:
getType
in interface Goal
getChoice
public Goal getChoice(int choiceIndex)
getNbChoices
public int getNbChoices()
Copyright © 2012. All Rights Reserved.