choco.cp.model.managers.constraints.global
Class PrecedenceImpliedManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<Variable>
choco.cp.model.managers.MixedConstraintManager
choco.cp.model.managers.constraints.global.AbstractPrecedenceManager
choco.cp.model.managers.constraints.global.PrecedenceImpliedManager
- All Implemented Interfaces:
- ExpressionManager
public final class PrecedenceImpliedManager
- extends AbstractPrecedenceManager
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
PrecedenceImpliedManager
public PrecedenceImpliedManager()
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.