Push/Pop parsing and commands

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 */