|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IntVar
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.variables.Var |
---|
LOGGER |
Method Summary | |
---|---|
int |
getVal()
Returns the value of the variable if instantiated. |
boolean |
isInstantiatedTo(int x)
Public user API: Domains : testing whether the value of an instantiated variable is equal to a specific value. |
void |
setVal(int x)
Public user API: Propagation events assigning a value to a variable (ie: removing all other values from its domain). |
Methods inherited from interface choco.kernel.solver.variables.Var |
---|
addConstraint, getConstraint, getConstraintsIterator, getConstraintVector, getEvent, getIndexVector, getName, getNbConstraints, getPriority, getVarIndex, isInstantiated |
Methods inherited from interface choco.IPretty |
---|
pretty |
Methods inherited from interface choco.kernel.common.IIndex |
---|
getIndex |
Methods inherited from interface choco.IExtensionnable |
---|
addExtension, getExtension |
Method Detail |
---|
void setVal(int x) throws ContradictionException
x
- the value that is assigned to the variable
ContradictionException
- contradiction exceptionint getVal()
boolean isInstantiatedTo(int x)
x
- the tested value
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |