Method isIf

smt/expr.cpp:485–487

}

bool expr::isIf(expr &cond, expr &then, expr &els) const {
  return isTernaryOp(cond, then, els, Z3_OP_ITE);
}

bool expr::isConcat(expr &a, expr &b) const {
  if (auto app = isAppOf(Z3_OP_CONCAT)) {