improve complexity

[c11tester.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index e2b586403994b5573c863d4825857e7945d28c8d..3ea4e3bbd2c9382562c39ca7ce05754d2b61301c 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -23,6 +23,7 @@ class CycleGraph {
 public:
        CycleGraph();
        ~CycleGraph();
+       void addEdges(SnapList<ModelAction *> * edgeset, const ModelAction *to);
        void addEdge(const ModelAction *from, const ModelAction *to);
        void addEdge(const ModelAction *from, const ModelAction *to, bool forceedge);
        void addRMWEdge(const ModelAction *from, const ModelAction *rmw);