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 d3eab13561149cb6ca89da2d1928332ead695e4a..a73ce44034fba9bc44d76ebe27f8912c21132c83 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -38,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;