+#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
+
+ CycleNode * getNode_noCreate(const ModelAction *act) const;
+ SNAPSHOTALLOC
+private:
+ void addNodeEdge(CycleNode *fromnode, CycleNode *tonode, bool forceedge);
+ void putNode(const ModelAction *act, CycleNode *node);
+ CycleNode * getNode(const ModelAction *act);
+
+ /** @brief A table for mapping ModelActions to CycleNodes */