#include <vector>
#include <inttypes.h>
+#include "mymemory.h"
+
class CycleNode;
class ModelAction;
void commitChanges();
void rollbackChanges();
+ SNAPSHOTALLOC
private:
CycleNode * getNode(const ModelAction *);
hasRMW=NULL;
}
+ SNAPSHOTALLOC
private:
/** @brief The ModelAction that this node represents */
const ModelAction *action;