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