]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
projects / francis / stp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 06d4130) | patch
Improvement. When a node is simplified set a value so that we can avoid simplifying...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Apr 2011 14:36:10 +0000 (14:36 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Thu, 7 Apr 2011 14:36:10 +0000 (14:36 +0000)
commit18db9fa6368eec716140fd946d294b6f43edbce5
tree1e1df9082752f87719e819b2a194c6a1cc3a21c1tree | snapshot
parent06d4130810244883f6ec2c08c2f7251b4af1e69fcommit | diff
Improvement. When a node is simplified set a value so that we can avoid simplifying it later.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1258 e59a4935-1847-0410-ae03-e826735625c1
src/AST/ASTInternal.h diff | blob | history
src/AST/ASTInternalWithChildren.h diff | blob | history
src/AST/ASTNode.cpp diff | blob | history
src/AST/ASTNode.h diff | blob | history
src/simplifier/simplifier.cpp diff | blob | history
STP Constraint Solver.