projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 29f99ad) | patch
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)
commiteb07120dfdbb206124f7857016a71b6ef0b9eb99
tree12661cda4a28418f9f1cf927eba8fad80ef518batree | snapshot
parent29f99ad8eea3c32b435ddb009c2d20fee7a13df2commit | diff
cyclegraph: add removeEdge(), removeBackEdge()

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.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker