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

Packages that use MutableInteger

Package	Description
gov.nasa.jpf.util

Uses of MutableInteger in gov.nasa.jpf.util

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

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)

Constructors in gov.nasa.jpf.util with parameters of type MutableInteger

Constructor and Description
MutableIntegerRestorer(MutableInteger restoree)