X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=nodestack.h;h=11cbdfa801d772d70e210668db374fd71f718b71;hb=8548c711d71b6474802af83f5a4800eb4ac30718;hp=c09b628b4ffc9a8f91a7997f628f3234c1e6b7df;hpb=fb2ab76b04c83faa654c8819c8e39b1e5fcc7d75;p=model-checker.git

diff --git a/nodestack.h b/nodestack.h
index c09b628..11cbdfa 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -44,6 +44,7 @@ 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();