|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.variables.delta.BooleanDeltaDomain
public final class BooleanDeltaDomain
Field Summary | |
---|---|
protected OneValueIterator |
_iterator
|
Fields inherited from interface choco.kernel.solver.variables.delta.IDeltaDomain |
---|
LOGGER |
Constructor Summary | |
---|---|
BooleanDeltaDomain()
|
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 |
Field Detail |
---|
protected OneValueIterator _iterator
Constructor Detail |
---|
public BooleanDeltaDomain()
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 String pretty()
pretty
in interface IPretty
public DisposableIntIterator iterator()
IDeltaDomain
iterator
in interface IDeltaDomain
public IDeltaDomain copy()
copy
in interface IDeltaDomain
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |