Summary:
Detail:
State<Integer>
StateInt
Storage
Copier
StateManager.makeStateInt(int)
protected
CopyInt(int initial)
save, setValue, toString, value
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
setValue, toString, value
decrement, increment