X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.h;fp=cyclegraph.h;h=bbf7aaf16f71233a19b77d67073909bf9dbf267a;hp=c9481b788caf00fd939670e45a99c7b8256ae445;hb=9077381b71d4e95f5e25204480159decf16281a7;hpb=7d1b8dbe8d1839862c3db07e67a313d0e6efce81

diff --git a/cyclegraph.h b/cyclegraph.h
index c9481b78..bbf7aaf1 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -28,7 +28,7 @@ public:
 	void addEdge(const ModelAction *from, const ModelAction *to, bool forceedge);
 	void addRMWEdge(const ModelAction *from, const ModelAction *rmw);
 	bool checkReachable(const ModelAction *from, const ModelAction *to) const;
-
+	void freeAction(const ModelAction * act);
 #if SUPPORT_MOD_ORDER_DUMP
 	void dumpNodes(FILE *file) const;
 	void dumpGraphToFile(const char *filename) const;
@@ -67,6 +67,8 @@ public:
 	CycleNode * getRMW() const;
 	void clearRMW() { hasRMW = NULL; }
 	const ModelAction * getAction() const { return action; }
+	void removeInEdge(CycleNode *src);
+	~CycleNode();
 
 	SNAPSHOTALLOC
 private:
@@ -76,6 +78,9 @@ private:
 	/** @brief The edges leading out from this node */
 	SnapVector<CycleNode *> edges;
 
+	/** @brief The edges leading in from this node */
+	SnapVector<CycleNode *> inedges;
+
 	/** Pointer to a RMW node that reads from this node, or NULL, if none
 	 * exists */
 	CycleNode *hasRMW;
@@ -83,9 +88,6 @@ private:
 	/** ClockVector for this Node. */
 	ClockVector *cv;
 	friend class CycleGraph;
-
-	/** @brief Reference count to node. */
-	int refcount;
 };
 
 #endif	/* __CYCLEGRAPH_H__ */