|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IDeltaDomain
Field Summary | |
---|---|
static Logger |
LOGGER
|
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 |
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 interface choco.IPretty |
---|
pretty |
Field Detail |
---|
static final Logger LOGGER
Method Detail |
---|
void freeze()
void remove(int value)
value
- removedvoid clear()
boolean isReleased()
boolean release()
DisposableIntIterator iterator()
IDeltaDomain copy()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |