+ /** @brief The ModelAction that this node represents */
+ const ModelAction *action;
+
+ /** @brief The edges leading out from this node */
+ std::vector<CycleNode *> edges;
+
+ /** Pointer to a RMW node that reads from this node, or NULL, if none
+ * exists */
+ CycleNode * hasRMW;