From d54c349601e9a4da8d28919008c85ca990447ead Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Tue, 2 Jul 2013 18:58:19 -0700
Subject: Worked on the parallelization.

---
 Source/Provers/SMTLib/TypeDeclCollector.cs | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'Source/Provers/SMTLib/TypeDeclCollector.cs')

diff --git a/Source/Provers/SMTLib/TypeDeclCollector.cs b/Source/Provers/SMTLib/TypeDeclCollector.cs
index 9d908138..2bbe4978 100644
--- a/Source/Provers/SMTLib/TypeDeclCollector.cs
+++ b/Source/Provers/SMTLib/TypeDeclCollector.cs
@@ -101,6 +101,19 @@ void ObjectInvariant()
         _KnownLBL.Push(new HashSet<string>());
     }
 
+    public void Reset()
+    {
+      _KnownFunctions.Clear();
+      _KnownVariables.Clear();
+      _KnownTypes.Clear();
+      _KnownStoreFunctions.Clear();
+      _KnownSelectFunctions.Clear();
+      _KnownLBL.Clear();
+      AllDecls.Clear();
+      IncDecls.Clear();
+      InitializeKnownDecls();
+    }
+
     public void Push()
     {
         Contract.Assert(_KnownFunctions.Count > 0);
-- 
cgit v1.2.3