git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit

author	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 13 Aug 2010 06:05:05 +0000 (06:05 +0000)
committer	trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
	Fri, 13 Aug 2010 06:05:05 +0000 (06:05 +0000)
commit	655304903a7899571a888808752002fabb520b86
tree	f8d499ac3a2f76fbcbe1ecaf281f1a37c8c5f124	tree \| snapshot
parent	32244b7f5b3826ebbca0f70953eef3a639e22706	commit \| diff

Speedup. Reduce the number of times that SortByArith is called. Previously:
* If was explicitly called
* Then it was implicitly called when CreateTerm ran.
* Then it was implicitly called again when CombineLikeTerms called CreateTerm.

Remove an unecessary flatten.

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

STP Constraint Solver.

RSS Atom

src/simplifier/constantBitP/ConstantBitPropagation.cpp		diff \| blob \| history
src/simplifier/constantBitP/ConstantBitPropagation.h		diff \| blob \| history
src/simplifier/constantBitP/MultiplicationStats.h		diff \| blob \| history
src/simplifier/simplifier.cpp		diff \| blob \| history
src/simplifier/simplifier.h		diff \| blob \| history