Method foeq

smt/expr.cpp:1334–1336

}

expr expr::foeq(const expr &rhs) const {
  return binop_commutative(rhs, Z3_mk_fpa_eq);
}

expr expr::fogt(const expr &rhs) const {
  return binop_fold(rhs, Z3_mk_fpa_gt);