diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:46:32 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-02-08 18:46:32 +0000 |
commit | 2b7a6d2f2bcb26c0b5641bf7d0258c9fc9796c17 (patch) | |
tree | c939500d9815de668a27e8d77b79d9bcdc169c05 /src/expr/command.cpp | |
parent | bff4e3eb99ce8d70f826d95aff452971f42f26f0 (diff) |
Push/Pop parsing and commands
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 */ |