gov.nasa.jpf.vm

Interface Storable

Deprecated.

foo

@Deprecated
public interface Storable

generic Memento interface for things that need to be stored/backtracked

Method Summary

Modifier and Type	Method and Description
void	backtrackTo(ArrayOffset storing) Deprecated.

Method Detail

backtrackTo

void backtrackTo(ArrayOffset storing)

Deprecated.