README.md: add detail for benchmarks

[model-checker.git] / cyclegraph.h

diff --git a/cyclegraph.h b/cyclegraph.h
index a03ebca4bff1ca3a2fc950acbd33f043c49b2068..7e7d180e0c1bd7a73de4653b657896f5a1df3a29 100644 (file)
--- a/cyclegraph.h
+++ b/cyclegraph.h
@@ -21,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:
@@ -84,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;