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