]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd89d56) | patch
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
tree576842070f93502bb14c2c583663941653e344d3tree | snapshot
parentfd89d56bc478ba9661bfe73b3c8662a2ef4a038dcommit | diff
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 diff | blob | history
src/simplifier/SubstitutionMap.h diff | blob | history
src/simplifier/bvsolver.cpp diff | blob | history
src/simplifier/simplifier.cpp diff | blob | history
src/simplifier/simplifier.h diff | blob | history
STP Constraint Solver.