From 25a653016d05828b7094826d86b5157d47b7bc5a Mon Sep 17 00:00:00 2001 From: msoos Date: Fri, 2 Jul 2010 14:36:16 +0000 Subject: [PATCH] Removing trailing code related to pools' #ifdefs in CryptoMS git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@910 e59a4935-1847-0410-ae03-e826735625c1 --- src/sat/cryptominisat2/Clause.cpp | 15 --------------- src/sat/cryptominisat2/Makefile | 2 +- 2 files changed, 1 insertion(+), 16 deletions(-) delete mode 100644 src/sat/cryptominisat2/Clause.cpp diff --git a/src/sat/cryptominisat2/Clause.cpp b/src/sat/cryptominisat2/Clause.cpp deleted file mode 100644 index b81d636..0000000 --- a/src/sat/cryptominisat2/Clause.cpp +++ /dev/null @@ -1,15 +0,0 @@ -#include "Clause.h" - -namespace MINISAT -{ -using namespace MINISAT; - -#ifdef USE_POOLS -#ifdef USE_4POOLS -boost::pool<> clausePoolQuad(sizeof(Clause) + 5*sizeof(Lit)); -#endif //USE_4POOLS -boost::pool<> clausePoolTri(sizeof(Clause) + 3*sizeof(Lit)); -boost::pool<> clausePoolBin(sizeof(Clause) + 2*sizeof(Lit)); -#endif //USE_POOLS - -}; //NAMESPACE MINISAT diff --git a/src/sat/cryptominisat2/Makefile b/src/sat/cryptominisat2/Makefile index bfc96a5..3791a57 100644 --- a/src/sat/cryptominisat2/Makefile +++ b/src/sat/cryptominisat2/Makefile @@ -6,7 +6,7 @@ MTRAND = MTRand SOURCES = Logger.cpp Solver.cpp PackedRow.cpp \ XorFinder.cpp VarReplacer.cpp \ FindUndef.cpp ClauseCleaner.cpp RestartTypeChooser.cpp \ - Clause.cpp FailedVarSearcher.cpp PartFinder.cpp \ + FailedVarSearcher.cpp PartFinder.cpp \ Subsumer.cpp PartHandler.cpp XorSubsumer.cpp \ Gaussian.cpp MatrixFinder.cpp StateSaver.cpp \ ClauseAllocator.cpp UselessBinRemover.cpp \ -- 2.47.3