]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
Speedup the bvsolver. Use the applySubstitutionMap function to apply the discovered...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Aug 2010 15:17:31 +0000 (15:17 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 5 Aug 2010 15:17:31 +0000 (15:17 +0000)
commit2556f7c211e1acd71ec913718e062e857c5550c3
tree576842070f93502bb14c2c583663941653e344d3
parentfd89d56bc478ba9661bfe73b3c8662a2ef4a038d
Speedup the bvsolver. Use the applySubstitutionMap function to apply the discovered replacements rather than using simplifyFormula. This means that the simplification caches don't need to be cleaned out (saving time).

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@967 e59a4935-1847-0410-ae03-e826735625c1
src/simplifier/SubstitutionMap.cpp
src/simplifier/SubstitutionMap.h
src/simplifier/bvsolver.cpp
src/simplifier/simplifier.cpp
src/simplifier/simplifier.h