Uses of Interface
gov.nasa.jpf.vm.ClosedMemento

Packages that use ClosedMemento

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of ClosedMemento in gov.nasa.jpf.util

Classes in gov.nasa.jpf.util that implement ClosedMemento

Modifier and Type	Class and Description
class	MutableIntegerRestorer on-demand restorer for MutableInteger instances

Uses of ClosedMemento in gov.nasa.jpf.vm

Methods in gov.nasa.jpf.vm that return ClosedMemento

Modifier and Type	Method and Description
ClosedMemento	SystemState.getRestorer(Object key)

Methods in gov.nasa.jpf.vm with parameters of type ClosedMemento

Modifier and Type	Method and Description
void	SystemState.putRestorer(Object key, ClosedMemento restorer) call the provided restorer each time we get back to this state