From b1ac3ed6d374bf053a06accdabbd01f5ebe0331d Mon Sep 17 00:00:00 2001
From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Sat, 3 Mar 2012 11:59:10 +0000
Subject: [PATCH] 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
---
 src/cpp_interface/cpp_interface.h | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/src/cpp_interface/cpp_interface.h b/src/cpp_interface/cpp_interface.h
index 1f41f77..bfc8618 100644
--- 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()
     {
-- 
2.47.3