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