Method isAdd

smt/expr.cpp:530–532

}

bool expr::isAdd(expr &a, expr &b) const {
  return isBinOp(a, b, Z3_OP_BADD);
}

bool expr::isURem(expr &a, expr &b) const {
  return isBinOp(a, b, Z3_OP_BUREM);