bug fixes for lock support...think it works now...

[model-checker.git] / nodestack.h

diff --git a/nodestack.h b/nodestack.h
index 6cd8cfd30806c7463d6710e5251041bf4b64cd81..a06bef40570556ddbf52bff19959423aaca159a6 100644 (file)
--- a/nodestack.h
+++ b/nodestack.h
@@ -56,6 +56,7 @@ public:
        bool set_backtrack(thread_id_t id);
        thread_id_t get_next_backtrack();
        bool is_enabled(Thread *t);
+       bool is_enabled(thread_id_t tid);
        ModelAction * get_action() { return action; }
 
        /** @return the parent Node to this Node; that is, the action that
@@ -120,7 +121,7 @@ class NodeStack {
 public:
        NodeStack();
        ~NodeStack();
-       ModelAction * explore_action(ModelAction *act, bool * enabled);
+       ModelAction * explore_action(ModelAction *act, bool * is_enabled);
        Node * get_head();
        Node * get_next();
        void reset_execution();