projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb07120) | patch
cyclegraph: rename addEdge() to addNodeEdge()
authorBrian Norris <banorris@uci.edu>
Tue, 29 Jan 2013 02:30:28 +0000 (18:30 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
commit79c9efc15ba00325f4da4d9d8a96a4042046260d
tree9cf5c4ac0dcce39e4acfb0dfd602d441c66288f0tree | snapshot
parenteb07120dfdbb206124f7857016a71b6ef0b9eb99commit | diff
cyclegraph: rename addEdge() to addNodeEdge()

This is a "low-level" internal function, where the other addEdge()
implementations will be high-level, external interfaces. Differentiate
the names, then.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker