X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=e96e1216c0907a0af9d7e166441f960c5b782188;hb=3e538ef764be5b82ef8a58f1fcdf98708cd8aa73;hp=fcaa21365a6c6e5434c2f9a468e6d041036aab19;hpb=fbacb5f41ada96e7b539ccc41deccb1a7e1a1ba8;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index fcaa213..e96e121 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -54,6 +54,8 @@ class CycleGraph {
  private:
 	bool addNodeEdge(CycleNode *fromnode, CycleNode *tonode);
 	void putNode(const ModelAction *act, CycleNode *node);
+	void putNode(const Promise *promise, CycleNode *node);
+	void erasePromiseNode(const Promise *promise);
 	CycleNode * getNode(const ModelAction *act);
 	CycleNode * getNode(const Promise *promise);
 	CycleNode * getNode_noCreate(const ModelAction *act) const;