choco.kernel.solver.variables.delta
Interface IDeltaDomain

All Superinterfaces:
IPretty
All Known Implementing Classes:
BipartiteDeltaDomain, BitSetDeltaDomain, BooleanDeltaDomain, IntervalDeltaDomain, StackDeltaDomain

public interface IDeltaDomain
extends IPretty


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

LOGGER

static final Logger LOGGER
Method Detail

freeze

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�


remove

void remove(int value)
Update the delta domain

Parameters:
value - removed

clear

void clear()
cleans the data structure implementing the delta domain


isReleased

boolean isReleased()
Check if the delta domain is released or frozen.

Returns:
true if release

release

boolean release()
after an iteration over the delta domain, the delta domain is reopened again.

Returns:
true iff the delta domain is reopened empty (no updates have been made to the domain while it was frozen, false iff the delta domain is reopened with pending value removals (updates were made to the domain, while the delta domain was frozen).

iterator

DisposableIntIterator iterator()
Iterator over delta domain

Returns:
delta iterator

copy

IDeltaDomain copy()


Copyright © 2012. All Rights Reserved.