projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
cyclegraph: rename addEdge() to addNodeEdge()
[model-checker.git]
/
cyclegraph.cc
diff --git
a/cyclegraph.cc
b/cyclegraph.cc
index 57f8fc8c42fe0033abbe83d14caa674feeedb1e7..89c3f2ca39675ed048639e8e57428037ad88cc7f 100644
(file)
--- a/
cyclegraph.cc
+++ b/
cyclegraph.cc
@@
-60,7
+60,7
@@
void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to)
CycleNode *fromnode = getNode(from);
CycleNode *tonode = getNode(to);
CycleNode *fromnode = getNode(from);
CycleNode *tonode = getNode(to);
- addEdge(fromnode, tonode);
+ add
Node
Edge(fromnode, tonode);
}
/**
}
/**
@@
-68,7
+68,7
@@
void CycleGraph::addEdge(const ModelAction *from, const ModelAction *to)
* @param fromnode The edge comes from this CycleNode
* @param tonode The edge points to this CycleNode
*/
* @param fromnode The edge comes from this CycleNode
* @param tonode The edge points to this CycleNode
*/
-void CycleGraph::addEdge(CycleNode *fromnode, CycleNode *tonode)
+void CycleGraph::add
Node
Edge(CycleNode *fromnode, CycleNode *tonode)
{
if (!hasCycles)
hasCycles = checkReachable(tonode, fromnode);
{
if (!hasCycles)
hasCycles = checkReachable(tonode, fromnode);
@@
-131,7
+131,7
@@
void CycleGraph::addRMWEdge(const ModelAction *from, const ModelAction *rmw)
}
}
}
}
- addEdge(fromnode, rmwnode);
+ add
Node
Edge(fromnode, rmwnode);
}
#if SUPPORT_MOD_ORDER_DUMP
}
#if SUPPORT_MOD_ORDER_DUMP