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 |