]> git.unchartedbackwaters.co.uk Git - francis/stp.git/commit
* When printing in CVC format, traverse the nodes looking for symbols rather than...
authortrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 14 Mar 2010 03:04:56 +0000 (03:04 +0000)
committertrevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Sun, 14 Mar 2010 03:04:56 +0000 (03:04 +0000)
commitcdfe5983777460fada2fbc257174e55e63e3d75f
tree8d68fab8e37320971616a5ec8518bc4a8dac5adf
parentea38b835180c981fa4b845acc2022d1b014fa4aa
* When printing in CVC format, traverse the nodes looking for symbols rather than using just the symbols that were parsed in. This makes it easier when converting from one format to another.
* Fix the SMTLIB printer, convert NAND to NOT(AND(.., typo on extrapred, convert pluses with >2 arguments into nested 2 argument pluses.
* Bugfix. Call print-back with the correct input function.

Note. GDL print-back isn't printing out the entire input expression. I'm not sure why.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@642 e59a4935-1847-0410-ae03-e826735625c1
src/AST/AST.h
src/AST/ASTmisc.cpp
src/STPManager/STPManager.h
src/main/main.cpp
src/printer/AssortedPrinters.cpp
src/printer/GDLPrinter.cpp
src/printer/SMTLIBPrinter.cpp