X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cyclegraph.h;h=7e7d180e0c1bd7a73de4653b657896f5a1df3a29;hb=2d0d4ac38e05905a6633b3f2d5112ccadd45c27f;hp=9819cf8763ef2eaa5e0b72cb22989bc116fb1059;hpb=5ea8e3d5d861ed363e5ac5f3b20b8181dd197efb;p=model-checker.git

diff --git a/cyclegraph.h b/cyclegraph.h
index 9819cf8..7e7d180 100644
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -9,7 +9,6 @@
 #ifndef __CYCLEGRAPH_H__
 #define __CYCLEGRAPH_H__
 
-#include <vector>
 #include <inttypes.h>
 #include <stdio.h>
 
@@ -22,8 +21,6 @@ class Promise;
 class CycleNode;
 class ModelAction;
 
-typedef ModelVector<const Promise *> promise_list_t;
-
 /** @brief A graph of Model Actions for tracking cycles. */
 class CycleGraph {
  public:
@@ -85,6 +82,7 @@ class CycleGraph {
 
 	/** @brief A flag: true if this graph contains cycles */
 	bool hasCycles;
+	/** @brief The previous value of CycleGraph::hasCycles, for rollback */
 	bool oldCycles;
 
 	SnapVector<CycleNode *> rollbackvector;