24 #ifndef _cvc3__expr_h_
28 #ifndef _cvc3__expr_op_h_
29 #define _cvc3__expr_op_h_
52 friend class ::CInterface;
91 return os <<
"Op(" << op.
d_kind <<
" " << op.
d_expr <<
")";
const Expr & getExpr() const
Op(const Expr &e)
Constructor for operators.
Data structure of expressions in CVC3.
friend bool operator==(const Op &op1, const Op &op2)
#define DebugAssert(cond, str)
Op & operator=(const Op &op)
std::string toString() const
Definition of the API to expression package. See class Expr for details.
friend std::ostream & operator<<(std::ostream &os, const Op &op)