choco.cp.model.managers.constraints.global
Class PrecedenceImpliedManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<Variable>
      extended by choco.cp.model.managers.MixedConstraintManager
          extended by choco.cp.model.managers.constraints.global.AbstractPrecedenceManager
              extended by choco.cp.model.managers.constraints.global.PrecedenceImpliedManager
All Implemented Interfaces:
ExpressionManager

public final class PrecedenceImpliedManager
extends AbstractPrecedenceManager


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
PrecedenceImpliedManager()
           
 
Method Summary
protected  SConstraint makeIntConstraint(CPSolver s, IntDomainVar x1, int k1, IntDomainVar x2, int k2, IntDomainVar dir)
           
protected  SConstraint makeIntConstraintB0(CPSolver s, IntDomainVar x1, int k1, IntDomainVar x2, int k2)
           
protected  SConstraint makeTaskConstraint(CPSolver s, TaskVar t1, int k1, TaskVar t2, int k2, IntDomainVar dir)
           
protected  SConstraint makeTaskConstraintB0(CPSolver s, TaskVar t1, int k1, TaskVar t2, int k2)
           
 
Methods inherited from class choco.cp.model.managers.constraints.global.AbstractPrecedenceManager
getConstantValue, getFavoriteDomains, makeConstraint, makeIntConstraintB1, makeTaskConstraintB1
 
Methods inherited from class choco.cp.model.managers.MixedConstraintManager
makeConstraintAndOpposite, makeNode
 
Methods inherited from class choco.kernel.model.constraints.ConstraintManager
checkParameter, fail, fail, getACFavoriteIntDomains, getBCFavoriteIntDomains
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PrecedenceImpliedManager

public PrecedenceImpliedManager()
Method Detail

makeIntConstraintB0

protected SConstraint makeIntConstraintB0(CPSolver s,
                                          IntDomainVar x1,
                                          int k1,
                                          IntDomainVar x2,
                                          int k2)
Specified by:
makeIntConstraintB0 in class AbstractPrecedenceManager

makeIntConstraint

protected SConstraint makeIntConstraint(CPSolver s,
                                        IntDomainVar x1,
                                        int k1,
                                        IntDomainVar x2,
                                        int k2,
                                        IntDomainVar dir)
Specified by:
makeIntConstraint in class AbstractPrecedenceManager

makeTaskConstraintB0

protected SConstraint makeTaskConstraintB0(CPSolver s,
                                           TaskVar t1,
                                           int k1,
                                           TaskVar t2,
                                           int k2)
Specified by:
makeTaskConstraintB0 in class AbstractPrecedenceManager

makeTaskConstraint

protected SConstraint makeTaskConstraint(CPSolver s,
                                         TaskVar t1,
                                         int k1,
                                         TaskVar t2,
                                         int k2,
                                         IntDomainVar dir)
Specified by:
makeTaskConstraint in class AbstractPrecedenceManager


Copyright © 2012. All Rights Reserved.