choco.cp.model.managers.constraints.global
Class AbstractPrecedenceManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<Variable>
choco.cp.model.managers.MixedConstraintManager
choco.cp.model.managers.constraints.global.AbstractPrecedenceManager
- All Implemented Interfaces:
- ExpressionManager
- Direct Known Subclasses:
- PrecedenceDisjointManager, PrecedenceImpliedManager, PrecedenceReifiedManager
public abstract class AbstractPrecedenceManager
- extends MixedConstraintManager
Method Summary |
protected int |
getConstantValue(Solver s,
Variable var)
|
int[] |
getFavoriteDomains(List<String> options)
|
SConstraint |
makeConstraint(Solver solver,
Variable[] variables,
Object parameters,
List<String> options)
Build a constraint for the given solver and "model variables" |
protected abstract SConstraint |
makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
|
protected abstract SConstraint |
makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected SConstraint |
makeIntConstraintB1(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
|
protected abstract SConstraint |
makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
|
protected abstract 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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
AbstractPrecedenceManager
public AbstractPrecedenceManager()
makeIntConstraintB0
protected abstract SConstraint makeIntConstraintB0(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
makeIntConstraintB1
protected SConstraint makeIntConstraintB1(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2)
makeIntConstraint
protected abstract SConstraint makeIntConstraint(CPSolver s,
IntDomainVar x1,
int k1,
IntDomainVar x2,
int k2,
IntDomainVar dir)
makeTaskConstraintB0
protected abstract SConstraint makeTaskConstraintB0(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
makeTaskConstraintB1
protected SConstraint makeTaskConstraintB1(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2)
makeTaskConstraint
protected abstract SConstraint makeTaskConstraint(CPSolver s,
TaskVar t1,
int k1,
TaskVar t2,
int k2,
IntDomainVar dir)
getConstantValue
protected final int getConstantValue(Solver s,
Variable var)
makeConstraint
public final SConstraint makeConstraint(Solver solver,
Variable[] variables,
Object parameters,
List<String> options)
- Description copied from class:
ConstraintManager
- Build a constraint for the given solver and "model variables"
- Specified by:
makeConstraint
in class ConstraintManager<Variable>
- Parameters:
solver
- solver to build constraint invariables
- array of variablesparameters
- Object defining the paramatersoptions
- set of options
- Returns:
- One SConstraint
getFavoriteDomains
public int[] getFavoriteDomains(List<String> options)
- Overrides:
getFavoriteDomains
in class MixedConstraintManager
- Parameters:
options
- : the set of options on the constraint (Typically the level of consistency)
- Returns:
- a list of domains accepted by the constraint and sorted
by order of preference
Copyright © 2012. All Rights Reserved.