X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=cyclegraph.h;h=690170022b3746c878c253d46eb58cc102f5c50c;hb=a02d0bed3bc5ab757c3ed30a9589c53b05919688;hp=a98e68c972e77cf6b615cff94521bd872df4e26a;hpb=0c0b705a2030faabd0f9540fbe6e474895208fa6;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index a98e68c..6901700 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -15,6 +15,7 @@ class CycleGraph {
 	~CycleGraph();
 	void addEdge(const ModelAction *from, const ModelAction *to);
 	bool checkForCycles();
+	void addRMWEdge(const ModelAction *from, const ModelAction *to);
 
  private:
 	CycleNode * getNode(const ModelAction *);
@@ -28,10 +29,12 @@ class CycleNode {
 	CycleNode(const ModelAction *action);
 	void addEdge(CycleNode * node);
 	std::vector<CycleNode *> * getEdges();
+	bool setRMW();
 
  private:
 	const ModelAction *action;
 	std::vector<CycleNode *> edges;
+	bool hasRMW;
 };
 
 #endif