cyclegraph: add Promise CycleNode
[c11tester.git] / cyclegraph.cc
index 00b8cd85731800fcdfb3593147d2bbd5bd84ace4..7a3532830598684a7719f6f3329fcda746aa5ccc 100644 (file)
@@ -279,6 +279,18 @@ bool CycleGraph::checkForCycles() const
  */
 CycleNode::CycleNode(const ModelAction *act) :
        action(act),
  */
 CycleNode::CycleNode(const ModelAction *act) :
        action(act),
+       promise(NULL),
+       hasRMW(NULL)
+{
+}
+
+/**
+ * @brief Constructor for a Promise CycleNode
+ * @param promise The Promise which was generated
+ */
+CycleNode::CycleNode(const Promise *promise) :
+       action(NULL),
+       promise(promise),
        hasRMW(NULL)
 {
 }
        hasRMW(NULL)
 {
 }