Method isFPDiv

smt/expr.cpp:595–597

}

bool expr::isFPDiv(expr &rounding, expr &lhs, expr &rhs) const {
  return isTernaryOp(rounding, lhs, rhs, Z3_OP_FPA_DIV);
}

bool expr::isFPNeg(expr &val) const {
  if (isBV()) {