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

Packages that use BitSet1024

Package	Description
gov.nasa.jpf.util

Uses of BitSet1024 in gov.nasa.jpf.util

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

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

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

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