choco.cp.solver.constraints.strong
Class StrongConsistencyManager

java.lang.Object
  extended by choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
      extended by choco.cp.model.managers.IntConstraintManager
          extended by choco.cp.solver.constraints.strong.StrongConsistencyManager
All Implemented Interfaces:
ExpressionManager

public class StrongConsistencyManager
extends IntConstraintManager


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

StrongConsistencyManager

public StrongConsistencyManager()
Method Detail

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