choco.kernel.solver.goals.choice
Class SetVal
java.lang.Object
choco.kernel.solver.goals.choice.SetVal
- All Implemented Interfaces:
- IPretty, Goal
public final class SetVal
- extends Object
- implements Goal
Created by IntelliJ IDEA.
User: grochart
Date: 19 mai 2007
Time: 10:28:16
To change this template use File | Settings | File Templates.
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 |
var
protected IntDomainVar var
val
protected int val
SetVal
public SetVal(IntDomainVar var,
int val)
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.