gov.nasa.jpf.util

Interface FixedBitSet

All Superinterfaces:

java.lang.Cloneable, IntSet

All Known Implementing Classes:

BitSet1024, BitSet256, BitSet64, BitSetN

public interface FixedBitSet
extends java.lang.Cloneable, IntSet

BitSet like interface for fixed size bit sets We keep this as an interface so that we can have java.util.BitSet subclasses as implementations

Method Summary

Modifier and Type	Method and Description
int	capacity()
int	cardinality()
void	clear()
void	clear(int i)
FixedBitSet	clone()
boolean	get(int i)
void	hash(HashData hd)
boolean	isEmpty()
int	length()
int	nextClearBit(int fromIndex)
int	nextSetBit(int fromIndex)
void	set(int i)
void	set(int i, boolean val)
int	size()

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

add, contains, intIterator, remove

Method Detail

set

void set(int i)

set

void set(int i,
         boolean val)

get

boolean get(int i)

clear

void clear(int i)

nextClearBit

int nextClearBit(int fromIndex)

nextSetBit

int nextSetBit(int fromIndex)

isEmpty

boolean isEmpty()

Specified by:

isEmpty in interface IntSet

size

int size()

Specified by:

size in interface IntSet

cardinality

int cardinality()

length

int length()

capacity

int capacity()

clear

void clear()

Specified by:

clear in interface IntSet

hash

void hash(HashData hd)

clone

FixedBitSet clone()

Specified by:

clone in interface IntSet