-void finalize();
-
-struct stackEntry {
- struct stackEntry *next;
- snapshot_id snapshotid;
- int index;
-};
-
-class SnapshotStack {
- public:
- MEMALLOC
- SnapshotStack( );
- ~SnapshotStack();
- int backTrackBeforeStep(int seq_index);
- void snapshotStep(int seq_index);
-
- private:
- struct stackEntry * stack;
-};