Uses of Class
gov.nasa.jpf.util.BitSet64

Packages that use BitSet64

Package	Description
gov.nasa.jpf.util

Uses of BitSet64 in gov.nasa.jpf.util

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

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

Methods in gov.nasa.jpf.util with parameters of type BitSet64

Modifier and Type	Method and Description
void	BitSet64.and(BitSet64 other)
void	BitSet64.andNot(BitSet64 other)
void	BitSet64.or(BitSet64 other)