Method isFPSub

smt/expr.cpp:587–589

}

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

bool expr::isFPMul(expr &rounding, expr &lhs, expr &rhs) const {
  return isTernaryOp(rounding, lhs, rhs, Z3_OP_FPA_MUL);