gov.nasa.jpf.util

Class BitSetN

java.lang.Object

java.util.BitSet

gov.nasa.jpf.util.BitSetN

All Implemented Interfaces:

FixedBitSet, IntSet, java.io.Serializable, java.lang.Cloneable

public class BitSetN
extends java.util.BitSet
implements FixedBitSet

a FixedBitSet implementation that is based on java.util.BitSet

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
BitSetN(int nBits)

Method Summary

Modifier and Type	Method and Description
boolean	add(int i)
int	capacity()
FixedBitSet	clone()
boolean	contains(int i)
void	hash(HashData hd)
IntIterator	intIterator()
boolean	remove(int i)

Methods inherited from class java.util.BitSet

and, andNot, cardinality, clear, clear, clear, equals, flip, flip, get, get, hashCode, intersects, isEmpty, length, nextClearBit, nextSetBit, or, previousClearBit, previousSetBit, set, set, set, set, size, stream, toByteArray, toLongArray, toString, valueOf, valueOf, valueOf, valueOf, xor

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface gov.nasa.jpf.util.FixedBitSet

cardinality, clear, clear, get, isEmpty, length, nextClearBit, nextSetBit, set, set, size

Constructor Detail

BitSetN

public BitSetN(int nBits)

Method Detail

clone

public FixedBitSet clone()

Specified by:

clone in interface FixedBitSet

Specified by:

clone in interface IntSet

Overrides:

clone in class java.util.BitSet

capacity

public int capacity()

Specified by:

capacity in interface FixedBitSet

hash

public void hash(HashData hd)

Specified by:

hash in interface FixedBitSet

add

public boolean add(int i)

Specified by:

add in interface IntSet

remove

public boolean remove(int i)

Specified by:

remove in interface IntSet

contains

public boolean contains(int i)

Specified by:

contains in interface IntSet

intIterator

public IntIterator intIterator()

Specified by:

intIterator in interface IntSet