X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.h;h=648ef4dfc318afc38a4e98b1e31bf4a1bcc944eb;hp=10331c2ef59ccb00046ad62c3e40439543a1288d;hb=d884d14a6288f1ee1809158e81ffb05bf83f483b;hpb=35c057636dd12235368cfb9644532c7561609624

diff --git a/nodestack.h b/nodestack.h
index 10331c2..648ef4d 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -66,6 +66,8 @@ public:
 	thread_id_t get_next_backtrack();
 	bool is_enabled(Thread *t);
 	bool is_enabled(thread_id_t tid);
+	enabled_type_t enabled_status(thread_id_t tid);
+
 	ModelAction * get_action() { return action; }
 	bool has_priority(thread_id_t tid);
 	int get_num_threads() {return num_threads;}