choco.cp.solver.goals
Class GlobalFail

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

public class GlobalFail
extends Object
implements Goal


Field Summary
 
Fields inherited from interface choco.kernel.solver.goals.Goal
LOGGER
 
Constructor Summary
GlobalFail()
           
 
Method Summary
 Goal execute(Solver solver)
           
 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
 

Constructor Detail

GlobalFail

public GlobalFail()
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


Copyright © 2012. All Rights Reserved.