]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Remove some unnecesarry memory churn. Extra objects were created and destroyed that...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 28 Apr 2010 11:38:00 +0000 (11:38 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Wed, 28 Apr 2010 11:38:00 +0000 (11:38 +0000)
commit59accd5d00dbe96f1bd7c7e83eaa99ea8e8f8faa
treeac75ed3d8fec036ccacd212f51b2bb990a6f1d79
parentef88e39841eee4e15b1f3abc6058171b7e4b4f79
Remove some unnecesarry memory churn. Extra objects were created and destroyed that didn't need to be.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@730 e59a4935-1847-0410-ae03-e826735625c1
src/to-sat/ClauseList.cpp
src/to-sat/ClauseList.h
src/to-sat/ToCNF.cpp