X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=cyclegraph.h;h=3ea4e3bbd2c9382562c39ca7ce05754d2b61301c;hp=624ce885f2aadf4543dd9505b40a4192ceb802aa;hb=9b15b68fbaea67b36fa99bcadb60a010eb4e131f;hpb=15162a2ac08b0a6b06e5319a7424055f4d12e01c

diff --git a/cyclegraph.h b/cyclegraph.h
index 624ce885..3ea4e3bb 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -23,7 +23,9 @@ class CycleGraph {
 public:
 	CycleGraph();
 	~CycleGraph();
+	void addEdges(SnapList<ModelAction *> * edgeset, const ModelAction *to);
 	void addEdge(const ModelAction *from, const ModelAction *to);
+	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;
 
@@ -37,7 +39,7 @@ public:
 	CycleNode * getNode_noCreate(const ModelAction *act) const;
 	SNAPSHOTALLOC
 private:
-	void addNodeEdge(CycleNode *fromnode, CycleNode *tonode);
+	void addNodeEdge(CycleNode *fromnode, CycleNode *tonode, bool forceedge);
 	void putNode(const ModelAction *act, CycleNode *node);
 	CycleNode * getNode(const ModelAction *act);