choco.cp.solver.constraints.strong
Class StrongConsistencyManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
choco.cp.model.managers.IntConstraintManager
choco.cp.solver.constraints.strong.StrongConsistencyManager
- All Implemented Interfaces:
- ExpressionManager
public class StrongConsistencyManager
- extends IntConstraintManager
Method Summary |
protected BoolNode |
buildBoolNode(Constraint ic,
Solver cpsolver)
|
protected ExpressionSConstraint |
createMetaConstraint(Constraint ic,
Solver cpsolver)
|
int[] |
getFavoriteDomains(List<String> options)
|
SConstraint |
makeConstraint(Solver solver,
IntegerVariable[] variables,
Object parameters,
List<String> options)
Build a constraint for the given solver and "model variables" |
SConstraint[] |
makeConstraintAndOpposite(Solver solver,
IntegerVariable[] variables,
Object parameters,
List<String> options)
Build a constraint and its opposite for the given solver and "model variables" |
INode |
makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
Build arithm node from a IntegerExpressionVariable |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
StrongConsistencyManager
public StrongConsistencyManager()
getFavoriteDomains
public int[] getFavoriteDomains(List<String> options)
- Overrides:
getFavoriteDomains
in class IntConstraintManager
- 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
makeConstraint
public SConstraint makeConstraint(Solver solver,
IntegerVariable[] 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<IntegerVariable>
- Parameters:
solver
- solver to build constraint invariables
- array of variablesparameters
- Object defining the paramatersoptions
- set of options
- Returns:
- One SConstraint
makeConstraintAndOpposite
public SConstraint[] makeConstraintAndOpposite(Solver solver,
IntegerVariable[] variables,
Object parameters,
List<String> options)
- Build a constraint and its opposite for the given solver and "model variables"
- Overrides:
makeConstraintAndOpposite
in class IntConstraintManager
- Parameters:
solver
- variables
- parameters
- options
-
- Returns:
- array of 2 SConstraint object, the constraint and its opposite
createMetaConstraint
protected ExpressionSConstraint createMetaConstraint(Constraint ic,
Solver cpsolver)
buildBoolNode
protected BoolNode buildBoolNode(Constraint ic,
Solver cpsolver)
makeNode
public INode makeNode(Solver solver,
Constraint[] cstrs,
Variable[] vars)
- Description copied from class:
IntConstraintManager
- Build arithm node from a IntegerExpressionVariable
- Specified by:
makeNode
in interface ExpressionManager
- Overrides:
makeNode
in class IntConstraintManager
cstrs
- constraints (can be null)vars
- variables
- Returns:
Copyright © 2012. All Rights Reserved.