Method foge

smt/expr.cpp:1342–1344

}

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

expr expr::folt(const expr &rhs) const {
  return binop_fold(rhs, Z3_mk_fpa_lt);