diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-24 22:51:35 +0000 |
commit | 61937ea05bff33070cc8252bc3b6c7d6fed7c9c3 (patch) | |
tree | 2c942f052de4dc9f0385bf01b89ec08d01c165bb /src/util | |
parent | 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 (diff) |
various fixes and updates to use and support parser
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/command.h | 15 |
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() { } }; |