cyclegraph: remove redundant code
authorBrian Norris <banorris@uci.edu>
Wed, 9 Jan 2013 21:47:57 +0000 (13:47 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 9 Jan 2013 21:51:46 +0000 (13:51 -0800)
The edgeCreatesCycle() function can simply be reduced to
checkReachable(), since checkReachable() will detect "to == from".

cyclegraph.cc
cyclegraph.h

index ec0ce45..2dc2eae 100644 (file)
@@ -63,7 +63,7 @@ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to)
        CycleNode *tonode = getNode(to);
 
        if (!hasCycles)
-               hasCycles = edgeCreatesCycle(fromnode, tonode);
+               hasCycles = checkReachable(tonode, fromnode);
 
        if (fromnode->addEdge(tonode))
                rollbackvector.push_back(fromnode);
@@ -81,7 +81,7 @@ void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to)
         */
        if (rmwnode != NULL && !to->is_rmw()) {
                if (!hasCycles)
-                       hasCycles = edgeCreatesCycle(rmwnode, tonode);
+                       hasCycles = checkReachable(tonode, rmwnode);
 
                if (rmwnode->addEdge(tonode))
                        rollbackvector.push_back(rmwnode);
@@ -124,7 +124,7 @@ void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw)
        }
 
        if (!hasCycles)
-               hasCycles = edgeCreatesCycle(fromnode, rmwnode);
+               hasCycles = checkReachable(rmwnode, fromnode);
 
        if (fromnode->addEdge(rmwnode))
                rollbackvector.push_back(fromnode);
@@ -160,18 +160,6 @@ void CycleGraph::dumpGraphToFile(const char *filename) const
 }
 #endif
 
-/**
- * Checks whether the addition of an edge between these two nodes would create
- * a cycle in the graph.
- * @param from The CycleNode from which the edge would start
- * @param to The CycleNode to which the edge would point
- * @return True if this edge would create a cycle; false otherwise
- */
-bool CycleGraph::edgeCreatesCycle(const CycleNode *from, const CycleNode *to) const
-{
-       return (from == to) || checkReachable(to, from);
-}
-
 /**
  * Checks whether one ModelAction can reach another.
  * @param from The ModelAction from which to begin exploration
index 5d9c976..45e49fb 100644 (file)
@@ -52,8 +52,6 @@ class CycleGraph {
 
        bool checkReachable(const CycleNode *from, const CycleNode *to) const;
 
-       bool edgeCreatesCycle(const CycleNode *from, const CycleNode *to) const;
-
        /** @brief A flag: true if this graph contains cycles */
        bool hasCycles;
        bool oldCycles;