Method isNot

smt/expr.cpp:526–528

}

bool expr::isNot(expr &neg) const {
  return isUnOp(neg, Z3_OP_NOT);
}

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