diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-07-17 22:07:59 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-07-17 22:07:59 +0000 |
commit | 4923b53ad705acc04348da693f03f83f8d9853db (patch) | |
tree | b557cb22ce1f21bcbcca9d6ebdcbf205e5537b58 /src/printer/printer.h | |
parent | 2b83291d229c957e2becf7397d186040959602df (diff) |
SMT-LIBv2 compliance updates:
* more correct support for get-info responses
* printer infrastructure extended to SExprs
* parser updates to correctly handle symbols and strings
(there were some minor differences from the spec)
Diffstat (limited to 'src/printer/printer.h')
-rw-r--r-- | src/printer/printer.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index 8d1931a83..e3b1d6f40 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -22,6 +22,7 @@ #define __CVC4__PRINTER__PRINTER_H #include "util/language.h" +#include "util/sexpr.h" #include "expr/node.h" #include "expr/command.h" @@ -62,6 +63,9 @@ public: /** Write a CommandStatus out to a stream with this Printer. */ virtual void toStream(std::ostream& out, const CommandStatus* s) const throw() = 0; + /** Write an SExpr out to a stream with this Printer. */ + virtual void toStream(std::ostream& out, const SExpr& sexpr) const throw(); + /** * Write a Result out to a stream with this Printer. * |