projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3b3533a) | patch
cyclegraph: separate an 'addEdge(CycleNode *, CycleNode *) function
authorBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:26:28 +0000 (17:26 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:26:28 +0000 (17:26 -0800)
commitc1372661a92b8d2ba3bc977ebbabf52127354bea
tree6490d63ed56d722281aceaca07e64f5df6b9b559tree | snapshot
parent3b3533a76db06884f44b3e70ccdbad647275fcc4commit | diff
cyclegraph: separate an 'addEdge(CycleNode *, CycleNode *) function

We need to represent edge addition as a low-level operation on
CycleNodes, not just on ModelActions.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C11 Tester Tool Public Repository