1 #ifndef __SNAPINTERFACE_H
2 #define __SNAPINTERFACE_H
11 #include "libthreads.h"
14 typedef std::basic_string<char, std::char_traits<char>, MyAlloc<char> > MyString;
16 void SnapshotGlobalSegments();
19 struct stackEntry *next;
20 snapshot_id snapshotid;
29 int backTrackBeforeStep(int seq_index);
30 void snapshotStep(int seq_index);
33 struct stackEntry * stack;
36 /* Not sure what it even means to have more than one snapshot object,
37 so let's just make a global reference to it.*/
39 extern snapshotStack * snapshotObject;