diff options
| author | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:54:09 +0000 |
|---|---|---|
| committer | Christopher L. Conway <christopherleeconway@gmail.com> | 2009-11-24 21:54:09 +0000 |
| commit | f565ec39c80294aa46f79df071e9786428feada0 (patch) | |
| tree | b9e7ac3356a900b0cd53f6dc2d6688cdd7715b1d /src/util | |
| parent | 4f4f69b4f85b8906002f8002527f4486cb1ea1ce (diff) | |
Stubbing commandsmake
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/command.h | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/util/command.h b/src/util/command.h index 36097b7a5..aec65a5c6 100644 --- a/src/util/command.h +++ b/src/util/command.h @@ -18,6 +18,20 @@ class Command { // distinct from Exprs }; +class AssertCommand : public Command { + AssertCommand(const Expr&); +}; + +class CheckSatCommand : public Command { + CheckSatCommand(void); + CheckSatCommand(const Expr&); +}; + +class QueryCommand : public Command { + QueryCommand(const Expr&); +}; + + }/* CVC4 namespace */ #endif /* __CVC4__COMMAND_H */ |