Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
MutableInteger |
MutableInteger.add(int n) |
MutableInteger |
MutableInteger.add(Number n) |
MutableInteger |
MutableInteger.dec() |
MutableInteger |
MutableInteger.divide(int n) |
MutableInteger |
MutableInteger.divide(Number n) |
MutableInteger |
MutableInteger.inc() |
MutableInteger |
MutableInteger.multiply(int n) |
MutableInteger |
MutableInteger.multiply(Number n) |
MutableInteger |
MutableInteger.subtract(int n) |
MutableInteger |
MutableInteger.subtract(Number n) |
Constructor and Description |
---|
MutableIntegerRestorer(MutableInteger restoree) |