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

Packages that use BitSet256

Package	Description
gov.nasa.jpf.util

Uses of BitSet256 in gov.nasa.jpf.util

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

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

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

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