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
 
Methods inherited from interface choco.IPretty
pretty
 

Method Detail

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.