11 /** @brief A graph of Model Actions for tracking cycles. */
15 void addEdge(ModelAction *from, ModelAction *to);
16 bool checkForCycles();
19 CycleNode * getNode(ModelAction *);
20 HashTable<ModelAction *, CycleNode *, uintptr_t, 4> actionToNode;
21 bool checkReachable(CycleNode *from, CycleNode *to);
28 CycleNode(ModelAction *action);
29 void addEdge(CycleNode * node);
30 std::vector<CycleNode *> * getEdges();
34 std::vector<CycleNode *> edges;