Make stack popping explicit.

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 0e952417b16c87a484712a94de4953bebc984d96..ad63d4dfc999f3ee5beec28c258c9facf5c8d9b0 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -44,8 +44,10 @@ public:
        Node * get_parent() const { return parent; }
 
        void add_read_from(const ModelAction *act);
+       const ModelAction * get_next_read_from();
 
        void print();
+       void print_may_read_from();
 
        MEMALLOC
 private:
@@ -81,7 +83,7 @@ public:
        Node * get_head();
        Node * get_next();
        void reset_execution();
-
+       void pop_restofstack();
        int get_total_nodes() { return total_nodes; }
 
        void print();