projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: eb07120)
cyclegraph: add removeEdge(), removeBackEdge()
authorBrian Norris <banorris@uci.edu>
Sat, 26 Jan 2013 00:41:27 +0000 (16:41 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
For popping edges of a node that's about to be merged with another one.

Note that if using these functions, a user has to manage the
'CycleGraph::hasCycles' state. This only handles the inter-Node edge
lists.


No differences found
C++11 memory model checker