Worked on the parallelization.

1 files changed, 13 insertions, 0 deletions

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);