diff options
Diffstat (limited to 'src/printer/printer.h')
-rw-r--r-- | src/printer/printer.h | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/printer/printer.h b/src/printer/printer.h index 9bcbba3b0..04b435060 100644 --- a/src/printer/printer.h +++ b/src/printer/printer.h @@ -62,6 +62,16 @@ public: /** Write a CommandStatus out to a stream with this Printer. */ virtual void toStream(std::ostream& out, const CommandStatus* s) const throw() = 0; + /** + * Write a Result out to a stream with this Printer. + * + * The default implementation writes a reasonable string in lowercase + * for sat, unsat, valid, invalid, or unknown results. This behavior + * is overridable by each Printer, since sometimes an output language + * has a particular preference for how results should appear. + */ + virtual void toStream(std::ostream& out, const Result& r) const throw(); + };/* class Printer */ }/* CVC4 namespace */ |