Uses of Interface
gov.nasa.jpf.util.FixedBitSet

Packages that use FixedBitSet

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of FixedBitSet in gov.nasa.jpf.util

Classes in gov.nasa.jpf.util that implement FixedBitSet

Modifier and Type	Class and Description
class	BitSet1024 a fixed size BitSet with 1024 bits.
class	BitSet256 a fixed size BitSet with 256 bits.
class	BitSet64

Methods in gov.nasa.jpf.util that return FixedBitSet

Modifier and Type	Method and Description
FixedBitSet	FixedBitSet.clone()

Uses of FixedBitSet in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as FixedBitSet

Modifier and Type	Field and Description
protected FixedBitSet	StackFrame.isRef

Methods in gov.nasa.jpf.vm that return FixedBitSet

Modifier and Type	Method and Description
protected FixedBitSet	StackFrame.createReferenceMap(int nSlots)
FixedBitSet	StackFrame.getReferenceMap()