choco.cp.solver.goals.choice
Class Instantiate

java.lang.Object
  extended by choco.cp.solver.goals.choice.Instantiate
All Implemented Interfaces:
IPretty, Goal

public class Instantiate
extends Object
implements Goal


Field Summary
protected  int previousVal
           
protected  ValIterator<IntDomainVar> valIterator
           
protected  ValSelector<IntDomainVar> valSelector
           
protected  IntDomainVar var
           
 
Fields inherited from interface choco.kernel.solver.goals.Goal
LOGGER
 
Constructor Summary
Instantiate(IntDomainVar var)
           
Instantiate(IntDomainVar var, ValIterator<IntDomainVar> valIterator)
           
Instantiate(IntDomainVar var, ValSelector<IntDomainVar> s)
           
 
Method Summary
 Goal execute(Solver s)
           
 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

var

protected IntDomainVar var

valSelector

protected ValSelector<IntDomainVar> valSelector

valIterator

protected ValIterator<IntDomainVar> valIterator

previousVal

protected int previousVal
Constructor Detail

Instantiate

public Instantiate(IntDomainVar var,
                   ValSelector<IntDomainVar> s)

Instantiate

public Instantiate(IntDomainVar var,
                   ValIterator<IntDomainVar> valIterator)

Instantiate

public Instantiate(IntDomainVar var)
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 s)
             throws ContradictionException
Specified by:
execute in interface Goal
Throws:
ContradictionException

getType

public GoalType getType()
Specified by:
getType in interface Goal


Copyright © 2012. All Rights Reserved.