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<class ModelAction *, class CycleNode *, uintptr_t, 4> actionToNode;
21 bool checkReachable(CycleNode *from, CycleNode *to);
29 CycleNode(ModelAction *action);
30 void addEdge(CycleNode * node);
31 std::vector<class CycleNode *> * getEdges();
35 std::vector<class CycleNode *> edges;