Method fogt

smt/expr.cpp:1338–1340

}

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

expr expr::foge(const expr &rhs) const {
  return binop_fold(rhs, Z3_mk_fpa_geq);