various fixes and updates to use and support parser

1 files changed, 13 insertions, 2 deletions

diff --git a/src/util/command.h b/src/util/command.h
index 804d37717..976e2b3d7 100644
--- a/src/util/command.h
+++ b/src/util/command.h
@@ -12,26 +12,37 @@
 #ifndef __CVC4__COMMAND_H
 #define __CVC4__COMMAND_H
 
+#include "expr/expr.h"
+
 namespace CVC4 {
 
-class Command { 
-   // distinct from Exprs
+class SmtEngine;
+
+class Command {
+  SmtEngine* d_smt;
+
+public:
+  Command(CVC4::SmtEngine* smt) : d_smt(smt) {}
+  virtual void invoke() = 0;
 };
 
 class AssertCommand : public Command {
 public:
   AssertCommand(const Expr&);
+  void invoke() { }
 };
 
 class CheckSatCommand : public Command {
 public:
   CheckSatCommand(void);
   CheckSatCommand(const Expr&);
+  void invoke() { }
 };
 
 class QueryCommand : public Command {
 public:
   QueryCommand(const Expr&);
+  void invoke() { }
 };