Method isAnd

smt/expr.cpp:522–524

}

bool expr::isAnd(expr &a, expr &b) const {
  return isBinOp(a, b, Z3_OP_AND);
}

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