Lines Matching refs:BitSet
4 import java.util.BitSet;
6 /** A set of terminals implemented as a bitset.
19 /* allocate the bitset at what is probably the right size */
20 _elements = new BitSet(terminal.number());
32 _elements = (BitSet)other._elements.clone();
46 /** Bitset to implement the actual set. */
47 protected BitSet _elements;
104 BitSet copy_other = (BitSet)other._elements.clone();
172 BitSet copy = (BitSet)_elements.clone();
192 BitSet copy = (BitSet)other._elements.clone();
