X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;fp=cyclegraph.h;h=c9481b788caf00fd939670e45a99c7b8256ae445;hb=7d1b8dbe8d1839862c3db07e67a313d0e6efce81;hp=3ea4e3bbd2c9382562c39ca7ce05754d2b61301c;hpb=4d1d81928c3688fbcfb96ee68eab70e73f7771e5;p=c11tester.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 3ea4e3bb..c9481b78 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -63,7 +63,6 @@ public:
 	void addEdge(CycleNode *node);
 	CycleNode * getEdge(unsigned int i) const;
 	unsigned int getNumEdges() const;
-	CycleNode * removeEdge();
 	bool setRMW(CycleNode *);
 	CycleNode * getRMW() const;
 	void clearRMW() { hasRMW = NULL; }
@@ -84,6 +83,9 @@ private:
 	/** ClockVector for this Node. */
 	ClockVector *cv;
 	friend class CycleGraph;
+
+	/** @brief Reference count to node. */
+	int refcount;
 };
 
 #endif	/* __CYCLEGRAPH_H__ */