Module org.maxicp

Class StateSparseBitSet.CollectionBitSet

java.lang.Object
org.maxicp.state.datastructures.BitSet
org.maxicp.state.datastructures.StateSparseBitSet.CollectionBitSet
Enclosing class:
StateSparseBitSet

public class StateSparseBitSet.CollectionBitSet extends BitSet
Temporary bitset used to hold temporary value. Optimized to compute elements only on active words.
  • Constructor Details

    • CollectionBitSet

      public CollectionBitSet()
  • Method Details

    • clear

      public void clear()
      Description copied from class: BitSet
      Unset all the bits
      Overrides:
      clear in class BitSet
    • union

      public void union(BitSet other)
      Description copied from class: BitSet
      Makes the union with another bit-set but only on non zero-words of the outer sparse-bit-set.
      Overrides:
      union in class BitSet
      Parameters:
      other - the other bit-set to make the union with
    • intersect

      public void intersect(BitSet other)
      Description copied from class: BitSet
      Makes the intersection with another bit-set but only on non zero-words of the outer sparse-bit-set.
      Overrides:
      intersect in class BitSet
      Parameters:
      other - the other bit-set to make the intersection with