choco.cp.solver.goals
Class GoalHelper

java.lang.Object
  extended by choco.cp.solver.goals.GoalHelper

public class GoalHelper
extends Object


Constructor Summary
GoalHelper()
           
 
Method Summary
static Goal and(Goal... goal)
           
static Goal or(Goal... goal)
           
static Goal remVal(IntDomainVar var, int val)
           
static Goal setVal(IntDomainVar var, int val)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

GoalHelper

public GoalHelper()
Method Detail

or

public static Goal or(Goal... goal)

and

public static Goal and(Goal... goal)

remVal

public static Goal remVal(IntDomainVar var,
                          int val)

setVal

public static Goal setVal(IntDomainVar var,
                          int val)


Copyright © 2012. All Rights Reserved.