cyclegraph: add removeEdge(), removeBackEdge()

[model-checker.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index f7b346c1f062c6b8932908b552144829f070b2d8..a909c10b50a49f97453bf1f6114223400b11c4ac 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -73,6 +73,9 @@ class CycleNode {
        unsigned int getNumEdges() const;
        CycleNode * getBackEdge(unsigned int i) const;
        unsigned int getNumBackEdges() const;
+       CycleNode * removeEdge();
+       CycleNode * removeBackEdge();
+
        bool setRMW(CycleNode *);
        CycleNode * getRMW() const;
        void clearRMW() { hasRMW = NULL; }