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

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
All Implemented Interfaces:
ExpressionManager
Direct Known Subclasses:
PrecedenceDisjointManager, PrecedenceImpliedManager, PrecedenceReifiedManager

public abstract class AbstractPrecedenceManager
extends MixedConstraintManager


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

AbstractPrecedenceManager

public AbstractPrecedenceManager()
Method Detail

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 in
variables - array of variables
parameters - Object defining the paramaters
options - 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.