diff options
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index 242817575..2c56e60d9 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -438,12 +438,13 @@ public: class CVC4_PUBLIC GetValueCommand : public Command { protected: - Expr d_term; + std::vector<Expr> d_terms; Expr d_result; public: GetValueCommand(Expr term) throw(); + GetValueCommand(const std::vector<Expr>& terms) throw(); ~GetValueCommand() throw() {} - Expr getTerm() const throw(); + const std::vector<Expr>& getTerms() const throw(); void invoke(SmtEngine* smtEngine) throw(); Expr getResult() const throw(); void printResult(std::ostream& out) const throw(); |