choco.cp.model
Class CPModel2
java.lang.Object
choco.cp.model.CPModel
choco.cp.model.CPModel2
- All Implemented Interfaces:
- IPretty, Model, Model2, Serializable
public class CPModel2
- extends CPModel
- implements Model2
- See Also:
- Serialized Form
Fields inherited from class choco.cp.model.CPModel |
_iterator, clausesStore, constantVars, constraints, defDecExp, expVars, floatVars, intVars, LOGGER, nbBoolVar, properties, setVars, storedMultipleVariables |
Method Summary |
void |
allDifferent(String options,
IntegerVariable[] vars)
|
void |
eq(IntegerExpressionVariable intV,
int c)
|
void |
eq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
|
void |
feasTupleAC(List<int[]> tuples,
IntegerVariable... vars)
|
void |
leq(IntegerExpressionVariable x,
int c)
|
void |
leq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
|
void |
lt(IntegerExpressionVariable x,
IntegerExpressionVariable y)
A constraint that ensures x < y |
IntegerVariable |
makeIntVar(String name,
int lb,
int ub,
String... options)
|
Methods inherited from class choco.cp.model.CPModel |
addConstraint, addConstraint, addConstraint, addConstraint, addConstraints, addConstraints, addOptions, addVariable, addVariable, addVariable, addVariable, addVariables, addVariables, constraintsToString, contains, getConstantVar, getConstraint, getConstraintByType, getConstraintIterator, getConstVarIterator, getDefaultExpressionDecomposition, getExprVarIterator, getIntConstraintIterator, getIntVar, getIntVarIndex, getIntVarIndex, getIntVarIterator, getMultipleVarIterator, getNbBoolVar, getNbConstantVars, getNbConstraintByType, getNbConstraints, getNbIntVars, getNbRealVars, getNbSetVars, getNbStoredMultipleVars, getNbTotVars, getRealVar, getRealVarIterator, getSetVar, getSetVarIterator, getStoredMultipleVar, pretty, readFromFile, remove, removeConstraint, removeConstraints, removeVariable, removeVariable, removeVariable, removeVariables, remVariable, setDefaultExpressionDecomposition, solutionToString, varsToString, writeInFile, writeInFile |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Methods inherited from interface choco.kernel.model.Model |
addConstraint, addConstraint, addConstraint, addConstraint, addConstraints, addConstraints, addOptions, addVariable, addVariable, addVariable, addVariable, addVariables, addVariables, constraintsToString, contains, getConstantVar, getConstraint, getConstraintByType, getConstraintIterator, getConstVarIterator, getDefaultExpressionDecomposition, getIntConstraintIterator, getIntVar, getIntVarIndex, getIntVarIndex, getIntVarIterator, getMultipleVarIterator, getNbConstantVars, getNbConstraintByType, getNbConstraints, getNbIntVars, getNbRealVars, getNbSetVars, getNbStoredMultipleVars, getNbTotVars, getRealVar, getRealVarIterator, getSetVar, getSetVarIterator, getStoredMultipleVar, removeConstraint, removeVariable, removeVariable, removeVariables, setDefaultExpressionDecomposition, solutionToString, varsToString |
CPModel2
public CPModel2()
lt
public void lt(IntegerExpressionVariable x,
IntegerExpressionVariable y)
- A constraint that ensures x < y
- Specified by:
lt
in interface Model2
- Parameters:
x
- an integer expression variabley
- an integer expression variable
eq
public void eq(IntegerExpressionVariable intV,
int c)
- Specified by:
eq
in interface Model2
eq
public void eq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
- Specified by:
eq
in interface Model2
allDifferent
public void allDifferent(String options,
IntegerVariable[] vars)
- Specified by:
allDifferent
in interface Model2
leq
public void leq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
- Specified by:
leq
in interface Model2
leq
public void leq(IntegerExpressionVariable x,
int c)
- Specified by:
leq
in interface Model2
feasTupleAC
public void feasTupleAC(List<int[]> tuples,
IntegerVariable... vars)
- Specified by:
feasTupleAC
in interface Model2
makeIntVar
public IntegerVariable makeIntVar(String name,
int lb,
int ub,
String... options)
- Specified by:
makeIntVar
in interface Model2
Copyright © 2012. All Rights Reserved.