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