|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.cp.solver.variables.delta.BitSetDeltaDomain
public final class BitSetDeltaDomain
Field Summary |
---|
Fields inherited from interface choco.kernel.solver.variables.delta.IDeltaDomain |
---|
LOGGER |
Constructor Summary | |
---|---|
BitSetDeltaDomain(int size,
int theOffset)
|
Method Summary | |
---|---|
void |
clear()
cleans the data structure implementing the delta domain |
BitSetDeltaDomain |
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 BitSetDeltaDomain(int size, int theOffset)
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 BitSetDeltaDomain copy()
copy
in interface IDeltaDomain
public String pretty()
pretty
in interface IPretty
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |