New cpp interface function to pop away asserts.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1578 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/cpp_interface/cpp_interface.h b/src/cpp_interface/cpp_interface.h
index 1f41f77e4489f555f985b5ed9de8b334ae68af83..bfc86181d7cc60d29b24f4fca3b8670d3629a15e 100644 (file)
--- a/src/cpp_interface/cpp_interface.h
+++ b/src/cpp_interface/cpp_interface.h
@@ -256,6 +256,17 @@ namespace BEEV
       GlobalSTP->ClearAllTables();
     }
 
+    // We can't pop off the zeroeth level.
+    void popToFirstLevel()
+    {
+      while (symbols.size() > 1)
+        pop();
+
+      // I don't understand why this is required.
+      while(bm.getAssertLevel() > 0)
+       bm.Pop();
+    }
+
     void
     pop()
     {