java.lang.Object
org.maxicp.state.datastructures.BitSet
org.maxicp.state.datastructures.StateSparseBitSet.CollectionBitSet
- Enclosing class:
StateSparseBitSet
Temporary bitset used to hold temporary value.
Optimized to compute elements only on active words.
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoidclear()Unset all the bitsvoidMakes the intersection with another bit-set but only on non zero-words of the outer sparse-bit-set.voidMakes the union with another bit-set but only on non zero-words of the outer sparse-bit-set.
-
Constructor Details
-
CollectionBitSet
public CollectionBitSet()
-
-
Method Details
-
clear
public void clear()Description copied from class:BitSetUnset all the bits -
union
Description copied from class:BitSetMakes the union with another bit-set but only on non zero-words of the outer sparse-bit-set. -
intersect
Description copied from class:BitSetMakes the intersection with another bit-set but only on non zero-words of the outer sparse-bit-set.
-