cyclegraph: add back edges to CycleNode
authorBrian Norris <banorris@uci.edu>
Fri, 4 Jan 2013 19:05:10 +0000 (11:05 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 4 Jan 2013 19:05:10 +0000 (11:05 -0800)
cyclegraph.cc
cyclegraph.h

index 672a398..3949b6e 100644 (file)
@@ -319,6 +319,16 @@ unsigned int CycleNode::getNumEdges() const
        return edges.size();
 }
 
        return edges.size();
 }
 
+CycleNode * CycleNode::getBackEdge(unsigned int i) const
+{
+       return back_edges[i];
+}
+
+unsigned int CycleNode::getNumBackEdges() const
+{
+       return back_edges.size();
+}
+
 /**
  * Adds an edge from this CycleNode to another CycleNode.
  * @param node The node to which we add a directed edge
 /**
  * Adds an edge from this CycleNode to another CycleNode.
  * @param node The node to which we add a directed edge
@@ -329,6 +339,7 @@ bool CycleNode::addEdge(CycleNode *node)
                if (edges[i] == node)
                        return false;
        edges.push_back(node);
                if (edges[i] == node)
                        return false;
        edges.push_back(node);
+       node->back_edges.push_back(this);
        return true;
 }
 
        return true;
 }
 
index 6b3d93e..f2f3032 100644 (file)
@@ -70,6 +70,8 @@ class CycleNode {
        bool addEdge(CycleNode *node);
        CycleNode * getEdge(unsigned int i) const;
        unsigned int getNumEdges() const;
        bool addEdge(CycleNode *node);
        CycleNode * getEdge(unsigned int i) const;
        unsigned int getNumEdges() const;
+       CycleNode * getBackEdge(unsigned int i) const;
+       unsigned int getNumBackEdges() const;
        bool setRMW(CycleNode *);
        CycleNode * getRMW() const;
        const ModelAction * getAction() const { return action; }
        bool setRMW(CycleNode *);
        CycleNode * getRMW() const;
        const ModelAction * getAction() const { return action; }
@@ -89,6 +91,9 @@ class CycleNode {
        /** @brief The edges leading out from this node */
        std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > edges;
 
        /** @brief The edges leading out from this node */
        std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > edges;
 
+       /** @brief The edges leading into this node */
+       std::vector< CycleNode *, SnapshotAlloc<CycleNode *> > back_edges;
+
        /** Pointer to a RMW node that reads from this node, or NULL, if none
         * exists */
        CycleNode *hasRMW;
        /** Pointer to a RMW node that reads from this node, or NULL, if none
         * exists */
        CycleNode *hasRMW;