diff options
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index e50b1970f..2ccac5e9f 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -31,7 +31,8 @@ namespace CVC4 { Printer* Printer::d_printers[language::output::LANG_MAX]; -Printer* Printer::makePrinter(OutputLanguage lang) throw() { +Printer* Printer::makePrinter(OutputLanguage lang) +{ using namespace CVC4::language::output; switch(lang) { @@ -70,14 +71,15 @@ Printer* Printer::makePrinter(OutputLanguage lang) throw() { } }/* Printer::makePrinter() */ -void Printer::toStreamSygus(std::ostream& out, TNode n) const throw() +void Printer::toStreamSygus(std::ostream& out, TNode n) const { // no sygus-specific printing associated with this printer, // just print the original term toStream(out, n, -1, false, 1); } -void Printer::toStream(std::ostream& out, const Model& m) const throw() { +void Printer::toStream(std::ostream& out, const Model& m) const +{ for(size_t i = 0; i < m.getNumCommands(); ++i) { const Command* cmd = m.getCommand(i); const DeclareFunctionCommand* dfc = dynamic_cast<const DeclareFunctionCommand*>(cmd); @@ -88,7 +90,8 @@ void Printer::toStream(std::ostream& out, const Model& m) const throw() { } }/* Printer::toStream(Model) */ -void Printer::toStream(std::ostream& out, const UnsatCore& core) const throw() { +void Printer::toStream(std::ostream& out, const UnsatCore& core) const +{ for(UnsatCore::iterator i = core.begin(); i != core.end(); ++i) { AssertCommand cmd(*i); toStream(out, &cmd, -1, false, -1); @@ -96,7 +99,8 @@ void Printer::toStream(std::ostream& out, const UnsatCore& core) const throw() { } }/* Printer::toStream(UnsatCore) */ -Printer* Printer::getPrinter(OutputLanguage lang) throw() { +Printer* Printer::getPrinter(OutputLanguage lang) +{ if(lang == language::output::LANG_AUTO) { // Infer the language to use for output. // |