+ bool checkForRMWViolation();
+ void addRMWEdge(const ModelAction *from, const ModelAction *rmw);
+ bool checkPromise(const ModelAction *from, Promise *p);
+ bool checkReachable(const ModelAction *from, const ModelAction *to);
+ void startChanges();
+ void commitChanges();
+ void rollbackChanges();
+#if SUPPORT_MOD_ORDER_DUMP
+ void dumpNodes(FILE *file);
+ void dumpGraphToFile(const char * filename);
+#endif