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

diff --git a/nodestack.cc b/nodestack.cc
index e5f4687..bacd067 100644
--- a/nodestack.cc
+++ b/nodestack.cc
@@ -838,6 +838,16 @@ void NodeStack::pop_restofstack(int numAhead)
 	node_list.back()->clear_backtracking();
 }
 
+/** Reset the node stack. */
+void NodeStack::full_reset() 
+{
+	for (unsigned int i = 0; i < node_list.size(); i++)
+		delete node_list[i];
+	node_list.clear();
+	reset_execution();
+	total_nodes = 1;
+}
+
 Node * NodeStack::get_head() const
 {
 	if (node_list.empty() || head_idx < 0)