]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d5d10e1) | patch
Fix. If >2 arity multiplication nodes are requested. Apply associativity to give...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Dec 2011 00:07:52 +0000 (00:07 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 29 Dec 2011 00:07:52 +0000 (00:07 +0000)
commitc58b26e3eb56e759e4dbb9727000355dec720ddb
tree4887cfd49fd03f2b817750d8a6f0b9909ecaf531tree | snapshot
parentd5d10e15e7196e743fcdf53b9992ca4213e3b6e3commit | diff
Fix. If >2 arity multiplication nodes are requested. Apply associativity to give two arity multiplications.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1445 e59a4935-1847-0410-ae03-e826735625c1
src/AST/NodeFactory/SimplifyingNodeFactory.cpp diff | blob | history
STP Constraint Solver.