choco.cp.solver.variables.delta
Class BooleanDeltaDomain

java.lang.Object
  extended by choco.cp.solver.variables.delta.BooleanDeltaDomain
All Implemented Interfaces:
IPretty, IDeltaDomain

public final class BooleanDeltaDomain
extends Object
implements IDeltaDomain


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

_iterator

protected OneValueIterator _iterator
Constructor Detail

BooleanDeltaDomain

public BooleanDeltaDomain()
Method Detail

freeze

public 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�

Specified by:
freeze in interface IDeltaDomain

remove

public void remove(int value)
Update the delta domain

Specified by:
remove in interface IDeltaDomain
Parameters:
value - removed

clear

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

Specified by:
clear in interface IDeltaDomain

isReleased

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

Specified by:
isReleased in interface IDeltaDomain
Returns:
true if release

release

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

Specified by:
release in interface IDeltaDomain
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).

pretty

public String pretty()
pretty printing of the object. This String is not constant and may depend on the context.

Specified by:
pretty in interface IPretty
Returns:
a readable string representation of the object

iterator

public DisposableIntIterator iterator()
Description copied from interface: IDeltaDomain
Iterator over delta domain

Specified by:
iterator in interface IDeltaDomain
Returns:
delta iterator

copy

public IDeltaDomain copy()
Specified by:
copy in interface IDeltaDomain


Copyright © 2012. All Rights Reserved.