diff options
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index 17736ed77..d0b72c3dd 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -164,6 +164,19 @@ public: void toStream(std::ostream& out) const; };/* class QueryCommand */ +// this is TRANSFORM in the CVC presentation language +class CVC4_PUBLIC SimplifyCommand : public Command { +protected: + Expr d_term; + Expr d_result; +public: + SimplifyCommand(Expr term); + void invoke(SmtEngine* smtEngine); + Expr getResult() const; + void printResult(std::ostream& out) const; + void toStream(std::ostream& out) const; +};/* class SimplifyCommand */ + class CVC4_PUBLIC GetValueCommand : public Command { protected: Expr d_term; |