cyclegraph: template-ize addRMWEdge()

[model-checker.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index fcb1d30960843413814b07796c015866100cabf7..a9e46120f1f3efac17efacb9a608abca451868d4 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -30,8 +30,10 @@ class CycleGraph {
        template <typename T, typename U>
        bool addEdge(const T from, const U to);
 
+       template <typename T>
+       void addRMWEdge(const T *from, const ModelAction *rmw);
+
        bool checkForCycles() const;
-       void addRMWEdge(const ModelAction *from, const ModelAction *rmw);
        bool checkPromise(const ModelAction *from, Promise *p) const;
 
        template <typename T>