nodestack: don't perform linear search to check if backtrack is empty

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 59da8a1f1f04971f709cfe0dd7b79d187ed4593b..a73ce44034fba9bc44d76ebe27f8912c21132c83 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -1,3 +1,7 @@
+/** @file nodestack.h
+ *  @brief Stack of operations for use in backtracking.
+*/
+
 #ifndef __NODESTACK_H__
 #define __NODESTACK_H__
 
@@ -34,6 +38,7 @@ private:
        int num_threads;
        std::vector< bool, MyAlloc<bool> > explored_children;
        std::vector< bool, MyAlloc<bool> > backtrack;
+       int numBacktracks;
 };
 
 typedef std::list<class Node *, MyAlloc< class Node * > > node_list_t;