X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=5cf709324a863d51e4ec45956093600460495232;hb=72fd87546b318a6fe8016fb06c8a9015949450bb;hp=690170022b3746c878c253d46eb58cc102f5c50c;hpb=37c87f91496ff3e713003c21692c63b8e87d81fb;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 6901700..5cf7093 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -1,3 +1,7 @@
+/** @file cyclegraph.h @brief Data structure to track ordering
+ *  constraints on modification order.  The idea is to see whether a
+ *  total order exists that satisfies the ordering constriants.*/
+
 #ifndef CYCLEGRAPH_H
 #define CYCLEGRAPH_H
 
@@ -29,12 +33,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