|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.variables.delta.StackDeltaDomain
public class StackDeltaDomain
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.variables.delta.IDeltaDomain |
---|
LOGGER |
Constructor Summary | |
---|---|
StackDeltaDomain()
|
Method Summary | |
---|---|
void |
clear()
cleans the data structure implementing the delta domain |
IDeltaDomain |
copy()
|
void |
freeze()
The delta domain container is "frozen" (it can no longer accept new value removals) so that this set of values can be iterated as such� |
boolean |
isReleased()
Check if the delta domain is released or frozen. |
DisposableIntIterator |
iterator()
Iterator over delta domain |
String |
pretty()
pretty printing of the object. |
boolean |
release()
after an iteration over the delta domain, the delta domain is reopened again. |
void |
remove(int value)
Update the delta domain |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public StackDeltaDomain()
Method Detail |
---|
public void freeze()
freeze
in interface IDeltaDomain
public void remove(int value)
remove
in interface IDeltaDomain
value
- removedpublic void clear()
clear
in interface IDeltaDomain
public boolean isReleased()
isReleased
in interface IDeltaDomain
public boolean release()
release
in interface IDeltaDomain
public DisposableIntIterator iterator()
iterator
in interface IDeltaDomain
public String pretty()
pretty
in interface IPretty
public IDeltaDomain copy()
copy
in interface IDeltaDomain
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |