choco.cp.model
Class CPModel2

java.lang.Object
  extended by choco.cp.model.CPModel
      extended by choco.cp.model.CPModel2
All Implemented Interfaces:
IPretty, Model, Model2, Serializable

public class CPModel2
extends CPModel
implements Model2

See Also:
Serialized Form

Field Summary
 
Fields inherited from class choco.cp.model.CPModel
_iterator, clausesStore, constantVars, constraints, defDecExp, expVars, floatVars, intVars, LOGGER, nbBoolVar, properties, setVars, storedMultipleVariables
 
Constructor Summary
CPModel2()
           
 
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
 
Methods inherited from interface choco.IPretty
pretty
 

Constructor Detail

CPModel2

public CPModel2()
Method Detail

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 variable
y - 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.