Module org.maxicp

Package org.maxicp.state.datastructures

Class StateSparseBitSet.SupportBitSet

java.lang.Object

org.maxicp.state.datastructures.BitSet

org.maxicp.state.datastructures.StateSparseBitSet.SupportBitSet

Enclosing class:

StateSparseBitSet

public class StateSparseBitSet.SupportBitSet
extends BitSet

Bitset of the same capacity as the outer StateSparseBitSet. It is not synchronized with StateManager. It is rather intended to be used as parameter to the BitSet.intersect(BitSet) method to modify the outer StateSparseBitSet.

Field Summary

Fields inherited from class org.maxicp.state.datastructures.BitSet

nbWords, words

Constructor Summary

Constructors

Constructor	Description
SupportBitSet()
SupportBitSet(BitSet anotherBitSet)
SupportBitSet(BitSet anotherBitSet, boolean shared)

Method Summary

Methods inherited from class org.maxicp.state.datastructures.BitSet

clear, intersect, invert, set, toString, union, unset

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

SupportBitSet

public SupportBitSet()

SupportBitSet

public SupportBitSet(BitSet anotherBitSet)

SupportBitSet

public SupportBitSet(BitSet anotherBitSet,
 boolean shared)