choco.kernel.solver.goals.solver
Class ChoicePoint

java.lang.Object
  extended by choco.kernel.solver.goals.solver.ChoicePoint
All Implemented Interfaces:
IPretty, Goal

public class ChoicePoint
extends Object
implements Goal


Field Summary
protected  Goal[] choices
           
 
Fields inherited from interface choco.kernel.solver.goals.Goal
LOGGER
 
Constructor Summary
ChoicePoint(Goal[] goals)
           
 
Method Summary
 Goal execute(Solver solver)
           
 Goal getChoice(int choiceIndex)
           
 int getNbChoices()
           
 GoalType getType()
           
 String pretty()
          pretty printing of the object.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

choices

protected Goal[] choices
Constructor Detail

ChoicePoint

public ChoicePoint(Goal[] goals)
Method Detail

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.