removed some deadcode relating to previous versions of cleartable and clearcache...

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

diff --git a/src/STPManager/STP.cpp b/src/STPManager/STP.cpp
index c8d9127e0c231998511414e72b67a2c65b31e71a..3bafce16bfb2fc14043655f45a29e202c97afebb 100644 (file)
--- a/src/STPManager/STP.cpp
+++ b/src/STPManager/STP.cpp
@@ -197,93 +197,4 @@ namespace BEEV {
     //bogus return to make the compiler shut up
     return SOLVER_ERROR;
   } //End of TopLevelSTPAux
-
-  //   void STP::ClearAllTables(void)
-  //   {
-  // //     //Clear STPManager caches
-
-  // //     //Clear ArrayTransformer caches
-
-  // //     //Clear Simplifier caches
-
-  // //     //Clear BVSolver caches
-
-  // //     //Clear AbsRefine_CounterExample caches
-
-  // //     //clear all tables before calling toplevelsat
-  // //     //_ASTNode_to_SATVar.clear();
-  // //     //_SATVar_to_AST.clear();
-
-  // //     //     for (ASTtoBitvectorMap::iterator it = _ASTNode_to_Bitvector.begin(), 
-  // //     //     itend = _ASTNode_to_Bitvector.end(); it != itend; it++)
-  // //     //       {
-  // //     //         (it->second)->clear();
-  // //     //         delete (it->second);
-  // //     //       }
-  // //     //     _ASTNode_to_Bitvector.clear();
-
-  // //     NodeLetVarMap.clear();
-  // //     NodeLetVarMap1.clear();
-  // //     PLPrintNodeSet.clear();
-  // //     AlreadyPrintedSet.clear();
-  // //     //ReferenceCount->clear();
-  // //     //_arrayread_ite.clear();
-  // //     //_introduced_symbols.clear();
-  // //     //CounterExampleMap.clear();
-  // //     //ComputeFormulaMap.clear();
-  // //     StatInfoSet.clear();
-
-  // //     _asserts.clear();
-
-  // //     //     for (ASTNodeToVecMap::iterator iset =
-  // //     //     _arrayname_readindices.begin(), iset_end =
-  // //     //     _arrayname_readindices.end(); iset != iset_end; iset++) {
-  // //     //     iset->second.clear(); }   
-  // //     //     _arrayname_readindices.clear();
-
-  // //     _interior_unique_table.clear();
-  // //     _symbol_unique_table->clear();
-  // //     _bvconst_unique_table.clear();
-  //   }
-
-  //   void STP::ClearAllCaches(void)
-  //   {
-  // //     //clear all tables before calling toplevelsat
-  // //     //_ASTNode_to_SATVar.clear();
-  // //     //_SATVar_to_AST.clear();
-
-  // //     // for (ASTtoBitvectorMap::iterator it = _ASTNode_to_Bitvector.begin(), 
-  // //     //     itend = _ASTNode_to_Bitvector.end(); it != itend; it++)
-  // //     //       {
-  // //     //         (it->second)->clear();
-  // //     //         delete (it->second);
-  // //     //       }
-  // //     //     _ASTNode_to_Bitvector.clear();
-    
-  // //     NodeLetVarMap.clear();
-  // //     NodeLetVarMap1.clear();
-  // //     PLPrintNodeSet.clear();
-  // //     AlreadyPrintedSet.clear();
-  // //     // SimplifyMap->clear();
-  // //     //     SimplifyNegMap->clear();
-  // //     //     ReferenceCount->clear();
-  // //     //     SolverMap.clear();
-  // //     //AlwaysTrueFormMap.clear();
-  // //     //_arrayread_ite.clear();
-  // //     //_arrayread_symbol.clear();
-  // //     //_introduced_symbols.clear();
-  // //     //CounterExampleMap.clear();
-  // //     //ComputeFormulaMap.clear();
-  // //     StatInfoSet.clear();
-
-  // //     // for (ASTNodeToVecMap::iterator iset = _arrayname_readindices.begin(), iset_end = _arrayname_readindices.end(); iset != iset_end; iset++)
-  // //     //       {
-  // //     //         iset->second.clear();
-  // //     //       }
-    
-  // //     //     _arrayname_readindices.clear();
-  // //     //_interior_unique_table.clear();
-  // //     //_symbol_unique_table.clear();
-  // //     //_bvconst_unique_table.clear();
-  //   }
 }; //end of namespace