diff options
Diffstat (limited to 'src/printer/printer.cpp')
-rw-r--r-- | src/printer/printer.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index 0881b814b..24baafa14 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -127,4 +127,10 @@ void Printer::toStream(std::ostream& out, const SExpr& sexpr) const throw() { } }/* Printer::toStream() */ +void Printer::toStream(std::ostream& out, Model* m ) const throw(){ + for( int i=0; i<m->getNumCommands(); i++ ){ + toStream( out, m, m->getCommand( i ), m->getCommandType( i ) ); + } +} + }/* CVC4 namespace */ |