diff options
author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-05 22:07:16 +0000 |
---|---|---|
committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2012-10-05 22:07:16 +0000 |
commit | 4c87c0794b7e954afd090cfbf441caa0b09c3ef5 (patch) | |
tree | d0cfcf60cbf9600c52dcb728744802ad27a5c3e1 /src/expr/command.h | |
parent | 7a9899f394476e53b7f759e698c7e10c8388fd57 (diff) |
BoolExpr removed and replaced with Expr
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(); |