diff options
Diffstat (limited to 'src/expr/command.cpp')
-rw-r--r-- | src/expr/command.cpp | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/src/expr/command.cpp b/src/expr/command.cpp index a7b15f05e..01f7205b2 100644 --- a/src/expr/command.cpp +++ b/src/expr/command.cpp @@ -20,11 +20,11 @@ using namespace std; namespace CVC4 { -ostream& operator<<(ostream& out, const Command* c) { - if (c == NULL) { +ostream& operator<<(ostream& out, const Command* command) { + if (command == NULL) { out << "null"; } else { - c->toStream(out); + command->toStream(out); } return out; } @@ -71,4 +71,20 @@ void DeclarationCommand::toStream(std::ostream& out) const { out << ")"; } +void PushCommand::invoke(SmtEngine* smtEngine) { + smtEngine->push(); +} + +void PushCommand::toStream(ostream& out) const { + out << "Push()"; +} + +void PopCommand::invoke(SmtEngine* smtEngine) { + smtEngine->pop(); +} + +void PopCommand::toStream(ostream& out) const { + out << "Pop()"; +} + }/* CVC4 namespace */ |