Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
BitSet1024 |
BitSet1024.clone() |
Modifier and Type | Method and Description |
---|---|
void |
BitSet1024.and(BitSet1024 other) |
void |
BitSet1024.andNot(BitSet1024 other) |
void |
BitSet1024.or(BitSet1024 other) |