choco.cp.model.managers.constraints.integer
Class TableManager

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

public final class TableManager
extends IntConstraintManager


Field Summary
 
Fields inherited from interface choco.kernel.model.constraints.ExpressionManager
LOGGER
 
Constructor Summary
TableManager()
           
 
Method Summary
 SConstraint buildBinaryTable(IntDomainVar[] vs, Object parameters, List<String> options, IEnvironment environment)
           
 SConstraint buildBinaryTable(IntDomainVar v1, IntDomainVar v2, BinRelation binR, List<String> options, IEnvironment environment)
           
 SConstraint buildNaryTable(IntDomainVar[] vs, LargeRelation rela, List<String> options, IEnvironment environment)
           
 SConstraint buildNaryTable(IntDomainVar[] vs, Object parameters, List<String> options, IEnvironment environment)
           
 int[] getFavoriteDomains(List<String> options)
           
 SConstraint makeConstraint(Solver solver, IntegerVariable[] vars, Object parameters, List<String> options)
          Build a constraint for the given solver and "model variables"
 
Methods inherited from class choco.cp.model.managers.IntConstraintManager
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

TableManager

public TableManager()
Method Detail

makeConstraint

public SConstraint makeConstraint(Solver solver,
                                  IntegerVariable[] vars,
                                  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 -
vars -
parameters - : a List which is intended to either a single element i.e the relation or two elements :
  • - a boolean indicating if the consistency relation is feasible or infeasible
  • - a list or a int[][]
options -
Returns:

buildBinaryTable

public SConstraint buildBinaryTable(IntDomainVar[] vs,
                                    Object parameters,
                                    List<String> options,
                                    IEnvironment environment)

buildBinaryTable

public SConstraint buildBinaryTable(IntDomainVar v1,
                                    IntDomainVar v2,
                                    BinRelation binR,
                                    List<String> options,
                                    IEnvironment environment)

buildNaryTable

public SConstraint buildNaryTable(IntDomainVar[] vs,
                                  Object parameters,
                                  List<String> options,
                                  IEnvironment environment)

buildNaryTable

public SConstraint buildNaryTable(IntDomainVar[] vs,
                                  LargeRelation rela,
                                  List<String> options,
                                  IEnvironment environment)

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


Copyright © 2012. All Rights Reserved.