diff options
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index 6f5b0bd4c..9fabf129e 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -290,11 +290,11 @@ public: class CVC4_PUBLIC AssertCommand : public Command { protected: - BoolExpr d_expr; + Expr d_expr; public: - AssertCommand(const BoolExpr& e) throw(); + AssertCommand(const Expr& e) throw(); ~AssertCommand() throw() {} - BoolExpr getExpr() const throw(); + Expr getExpr() const throw(); void invoke(SmtEngine* smtEngine) throw(); Command* exportTo(ExprManager* exprManager, ExprManagerMapCollection& variableMap); Command* clone() const; @@ -423,13 +423,13 @@ public: class CVC4_PUBLIC CheckSatCommand : public Command { protected: - BoolExpr d_expr; + Expr d_expr; Result d_result; public: CheckSatCommand() throw(); - CheckSatCommand(const BoolExpr& expr) throw(); + CheckSatCommand(const Expr& expr) throw(); ~CheckSatCommand() throw() {} - BoolExpr getExpr() const throw(); + Expr getExpr() const throw(); void invoke(SmtEngine* smtEngine) throw(); Result getResult() const throw(); void printResult(std::ostream& out) const throw(); @@ -439,12 +439,12 @@ public: class CVC4_PUBLIC QueryCommand : public Command { protected: - BoolExpr d_expr; + Expr d_expr; Result d_result; public: - QueryCommand(const BoolExpr& e) throw(); + QueryCommand(const Expr& e) throw(); ~QueryCommand() throw() {} - BoolExpr getExpr() const throw(); + Expr getExpr() const throw(); void invoke(SmtEngine* smtEngine) throw(); Result getResult() const throw(); void printResult(std::ostream& out) const throw(); |