X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=nodestack.h;h=6ae96be8d508d9b598ae3bb3c396760fea6047da;hp=f26100bad0e359459bf18263009028aa8a28f4e0;hb=a65e234b607444355eb6e34097ee55ba93d4c01b;hpb=7c510878f9679da10de79c289df402356b092396

diff --git a/nodestack.h b/nodestack.h
index f26100b..6ae96be 100644
--- a/nodestack.h
+++ b/nodestack.h
@@ -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;