choco.cp.solver.goals
Class GlobalFail
java.lang.Object
choco.cp.solver.goals.GlobalFail
- All Implemented Interfaces:
- IPretty, Goal
public class GlobalFail
- 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 |
GlobalFail
public GlobalFail()
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
Copyright © 2012. All Rights Reserved.