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

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.PrecedenceDisjointManager
All Implemented Interfaces:
ExpressionManager

public final class PrecedenceDisjointManager
extends AbstractPrecedenceManager

Created by IntelliJ IDEA. User: charles Date: 11 août 2008 Time: 16:49:22


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
PrecedenceDisjointManager()
           
 
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)
           
protected  SConstraint makeTaskConstraintB1(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
 
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

PrecedenceDisjointManager

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

makeTaskConstraintB1

protected SConstraint makeTaskConstraintB1(CPSolver s,
                                           TaskVar t1,
                                           int k1,
                                           TaskVar t2,
                                           int k2)
Overrides:
makeTaskConstraintB1 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.