choco.cp.model.managers.constraints.integer
Class TableManager
java.lang.Object
choco.kernel.model.constraints.ConstraintManager<IntegerVariable>
choco.cp.model.managers.IntConstraintManager
choco.cp.model.managers.constraints.integer.TableManager
- All Implemented Interfaces:
- ExpressionManager
public final class TableManager
- extends IntConstraintManager
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 java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TableManager
public TableManager()
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
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.