choco.kernel.model
Interface Model2
- All Superinterfaces:
- IPretty, Model, Serializable
- All Known Implementing Classes:
- CPModel2
public interface Model2
- extends Model
Method Summary |
void |
allDifferent(String string,
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)
|
IntegerVariable |
makeIntVar(String name,
int lb,
int ub,
String... options)
|
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 |
lt
void lt(IntegerExpressionVariable x,
IntegerExpressionVariable y)
eq
void eq(IntegerExpressionVariable intV,
int c)
eq
void eq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
allDifferent
void allDifferent(String string,
IntegerVariable[] vars)
leq
void leq(IntegerExpressionVariable x,
IntegerExpressionVariable y)
leq
void leq(IntegerExpressionVariable x,
int c)
feasTupleAC
void feasTupleAC(List<int[]> tuples,
IntegerVariable... vars)
makeIntVar
IntegerVariable makeIntVar(String name,
int lb,
int ub,
String... options)
Copyright © 2012. All Rights Reserved.