Add SCFence analysis
[model-checker.git] / nodestack.h
index f26100b..6ae96be 100644 (file)
@@ -198,6 +198,7 @@ public:
        Node * get_next() const;
        void reset_execution();
        void pop_restofstack(int numAhead);
+       void full_reset();
        int get_total_nodes() { return total_nodes; }
 
        void print() const;