choco.kernel.solver.goals.choice
Class RemoveVal

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

public final class RemoveVal
extends Object
implements Goal

Created by IntelliJ IDEA. User: grochart Date: 19 mai 2007 Time: 10:24:06 To change this template use File | Settings | File Templates.


Field Summary
protected  int val
           
protected  IntDomainVar var
           
 
Fields inherited from interface choco.kernel.solver.goals.Goal
LOGGER
 
Constructor Summary
RemoveVal(IntDomainVar var, int val)
           
 
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

val

protected int val
Constructor Detail

RemoveVal

public RemoveVal(IntDomainVar var,
                 int val)
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.