X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=cyclegraph.h;h=f812e24d4986abef6c45780a897e44bcb27bffe0;hp=5c49992ea26b7dc99bc88cea4040e98c88cc3361;hb=07aa7bafa42e3909d74889e5ed70fff3ab05d0f0;hpb=79c9efc15ba00325f4da4d9d8a96a4042046260d

diff --git a/cyclegraph.h b/cyclegraph.h
index 5c49992..f812e24 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -24,7 +24,10 @@ class CycleGraph {
  public:
 	CycleGraph();
 	~CycleGraph();
-	void addEdge(const ModelAction *from, const ModelAction *to);
+
+	template <typename T, typename U>
+	void addEdge(const T from, const U to);
+
 	bool checkForCycles() const;
 	void addRMWEdge(const ModelAction *from, const ModelAction *rmw);
 	bool checkPromise(const ModelAction *from, Promise *p) const;