X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=3ed4e4a2f6fe6bb008a3038b9c7208db0f9613b4;hb=247e28f81f258c3c380be00a89430186f8ac11ed;hp=690170022b3746c878c253d46eb58cc102f5c50c;hpb=11b4b27470ecbaf996a699432dd67e2ca52239b5;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 6901700..3ed4e4a 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -29,12 +29,13 @@ class CycleNode {
 	CycleNode(const ModelAction *action);
 	void addEdge(CycleNode * node);
 	std::vector<CycleNode *> * getEdges();
-	bool setRMW();
+	bool setRMW(CycleNode *);
+	CycleNode* getRMW();
 
  private:
 	const ModelAction *action;
 	std::vector<CycleNode *> edges;
-	bool hasRMW;
+	CycleNode * hasRMW;
 };
 
 #endif