25 void print_mpq(
int num,
int den, std::ostream& s );
bool getRat(const Expr &e, Rational &r)
Data structure of expressions in CVC3.
bool is_comparison(int knd)
void print_rational_divide(const Rational &n, const Rational &d, std::ostream &s)
bool is_smt_kind(int knd)
int get_normalized(int knd, bool isnot=false)
void ajr_debug_print(const Expr &pf)
string kind_to_str(int knd)
bool is_opposite(int knd)
void make_flatten_expr(const Expr &e, Expr &pe, int knd)
void print_mpq(int num, int den, std::ostream &s)
int get_knd_result(int knd1, int knd2)
int get_knd_order(int knd)
bool isFlat(const Expr &e)
void print_rational(const Rational &r, std::ostream &s)