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