Method fabs

smt/expr.cpp:1254–1260

}

expr expr::fabs() const {
  if (isBV())
    return mkUInt(0, 1).concat(extract(bits() - 2, 0));

  fold_fp_neg(fabs);
  return unop_fold(Z3_mk_fpa_abs);
}

expr expr::fneg() const {
  if (isBV()) {