|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Model
Method Summary | |
---|---|
void |
addConstraint(Constraint... c)
Deprecated. |
void |
addConstraint(Constraint c)
Add one constraint to the model. |
void |
addConstraint(String options,
Constraint... c)
Deprecated. |
void |
addConstraint(String options,
Constraint c)
Add one constraint to the model. |
void |
addConstraints(Constraint... c)
Add one or more constraint to the model. |
void |
addConstraints(String options,
Constraint... c)
Add one or more constraint to the model. |
void |
addOptions(String options,
IOptions... element)
|
void |
addVariable(String options,
Variable... v)
Deprecated. |
void |
addVariable(String options,
Variable v)
Add one variable with options to the model |
void |
addVariable(Variable... v)
Deprecated. |
void |
addVariable(Variable v)
Add a variable to the model |
void |
addVariables(String options,
Variable... v)
Add one or more variables to the model with particular options |
void |
addVariables(Variable... v)
Add one or more variables to the model |
String |
constraintsToString()
Create and return a string representation of the constraints of the Model |
boolean |
contains(Constraint c)
|
IntegerConstantVariable |
getConstantVar(int i)
Returns a constant variable. |
Constraint |
getConstraint(int i)
Network management: Retrieve a constraint by its index. |
Iterator<Constraint> |
getConstraintByType(ConstraintType t)
Return an iterator over constraint of a certain type |
Iterator<Constraint> |
getConstraintIterator()
Return an iterator over the constraints of the model |
Iterator<Variable> |
getConstVarIterator()
Retrieves an iterator over constantes variables of the model |
Boolean |
getDefaultExpressionDecomposition()
Return the default expression decomposition |
Iterator<Constraint> |
getIntConstraintIterator()
Deprecated. |
IntegerVariable |
getIntVar(int i)
Network management: Retrieve a variable by its index (all integer variables of the model are numbered in sequence from 0 on) |
int |
getIntVarIndex(IntDomainVar c)
Deprecated. |
int |
getIntVarIndex(IntVar c)
Deprecated. |
Iterator<IntegerVariable> |
getIntVarIterator()
Retrieves an iterator over IntegerVariables of the model |
Iterator<MultipleVariables> |
getMultipleVarIterator()
Retrieves an iterator over MultipleVariables of the model (if stored) |
int |
getNbConstantVars()
Returns the number of variables modelling constant. |
int |
getNbConstraintByType(ConstraintType t)
Return the number of constraint of a certain type |
int |
getNbConstraints()
retrieving the total number of constraints over integers |
int |
getNbIntVars()
retrieving the total number of variables |
int |
getNbRealVars()
Returns the number of variables modelling real numbers. |
int |
getNbSetVars()
Returns the number of variables modelling real numbers. |
int |
getNbStoredMultipleVars()
Returns the number of stored multiple variables. |
int |
getNbTotVars()
Return the total numbers of variables of the model |
RealVariable |
getRealVar(int i)
Returns a real variable. |
Iterator<RealVariable> |
getRealVarIterator()
Retrieves an iterator over RealVariables of the model |
SetVariable |
getSetVar(int i)
Returns a set variable. |
Iterator<SetVariable> |
getSetVarIterator()
Retrieves an iterator over SetVariables of the model |
MultipleVariables |
getStoredMultipleVar(int i)
Returns a multiple variable. |
void |
removeConstraint(Constraint c)
Remove a constraint from the model. |
void |
removeVariable(Variable... v)
Deprecated. |
void |
removeVariable(Variable v)
Remove one variable from the model (also remove constraints linked to the variable) |
void |
removeVariables(Variable... v)
Remove one or more variables from the model (also remove constraints linked to the variables) |
void |
setDefaultExpressionDecomposition(Boolean decomposedExp)
Set the default expression decomposition (BEWARE : it only concerns expression without particular decomposition option) If decomposedExp is set to false: Every expression is then used to check a tuple in a dynamic way just like a nary relation that is defined without listing all the possible tuples. |
String |
solutionToString()
Return a string representation of a solution. !! |
String |
varsToString()
Create and return a string representation of the variables of the Model |
Methods inherited from interface choco.IPretty |
---|
pretty |
Method Detail |
---|
@Deprecated int getIntVarIndex(IntDomainVar c)
c
- Solver variable
int getNbConstraints()
Constraint getConstraint(int i)
i
- index of the constraint in the model
Iterator<Constraint> getIntConstraintIterator()
getConstraintIterator()
Iterator<Constraint> getConstraintIterator()
Iterator<Constraint> getConstraintByType(ConstraintType t)
t
- type
int getNbConstraintByType(ConstraintType t)
t
- the type of constraint
String varsToString()
String constraintsToString()
String solutionToString()
IPretty.pretty()
IntegerVariable getIntVar(int i)
i
- index of the variable in the model
@Deprecated int getIntVarIndex(IntVar c)
c
- the int var
int getNbIntVars()
RealVariable getRealVar(int i)
i
- index of the variable
int getNbRealVars()
IntegerConstantVariable getConstantVar(int i)
i
- index of the variable
int getNbConstantVars()
SetVariable getSetVar(int i)
i
- index of the variable
int getNbSetVars()
MultipleVariables getStoredMultipleVar(int i)
i
- index of the variable
int getNbStoredMultipleVars()
int getNbTotVars()
void addOptions(String options, IOptions... element)
void addVariable(Variable v)
v
- a variablevoid addVariable(String options, Variable v)
options
- define options of the variablesv
- one or more variables@Deprecated void addVariable(Variable... v)
v
- one or more variablesaddVariables(choco.kernel.model.variables.Variable[])
@Deprecated void addVariable(String options, Variable... v)
options
- defines options of the variablesv
- one or more variablesaddVariables(String, choco.kernel.model.variables.Variable[])
void addVariables(Variable... v)
v
- one or more variablesvoid addVariables(String options, Variable... v)
options
- defines options of the variablesv
- one or more variables@Deprecated void removeVariable(Variable... v)
v
- variables to removeremoveVariables(choco.kernel.model.variables.Variable[])
void removeVariable(Variable v)
v
- the variable to removevoid removeVariables(Variable... v)
v
- variables to remove@Deprecated void addConstraint(Constraint... c)
c
- one or more constraintaddConstraints(choco.kernel.model.constraints.Constraint[])
void addConstraint(Constraint c)
c
- one constraintvoid addConstraints(Constraint... c)
c
- one or more constraint@Deprecated void addConstraint(String options, Constraint... c)
options
- defines options of the constraintc
- one or more constraintaddConstraints(choco.kernel.model.constraints.Constraint[])
void addConstraint(String options, Constraint c)
options
- defines options of the constraintc
- one constraintvoid addConstraints(String options, Constraint... c)
options
- defines options of the constraintc
- one or more constraintvoid removeConstraint(Constraint c)
c
- the constraint to removeIterator<IntegerVariable> getIntVarIterator()
Iterator<RealVariable> getRealVarIterator()
Iterator<SetVariable> getSetVarIterator()
Iterator<Variable> getConstVarIterator()
Iterator<MultipleVariables> getMultipleVarIterator()
Boolean getDefaultExpressionDecomposition()
void setDefaultExpressionDecomposition(Boolean decomposedExp)
decomposedExp
- the new default expression decompositionboolean contains(Constraint c)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |