- void addEdge(const ModelAction *from, const ModelAction *to);
- bool checkForCycles();
- void addRMWEdge(const ModelAction *from, const ModelAction *to);
+ void addEdges(SnapList<ModelAction *> * edgeset, ModelAction *to);
+ void addEdge(ModelAction *from, ModelAction *to);
+ void addEdge(ModelAction *from, ModelAction *to, bool forceedge);
+ void addRMWEdge(ModelAction *from, ModelAction *rmw);
+ bool checkReachable(const ModelAction *from, const ModelAction *to) const;
+ void freeAction(const ModelAction * act);
+#if SUPPORT_MOD_ORDER_DUMP
+ void dumpNodes(FILE *file) const;
+ void dumpGraphToFile(const char *filename) const;
+ void dot_print_node(FILE *file, const ModelAction *act);
+ void dot_print_edge(FILE *file, const ModelAction *from, const ModelAction *to, const char *prop);
+#endif