Method isConstArray

smt/expr.cpp:555–557

}

bool expr::isConstArray(expr &val) const {
  return isUnOp(val, Z3_OP_CONST_ARRAY);
}

bool expr::isStore(expr &array, expr &idx, expr &val) const {
  return isTernaryOp(array, idx, val, Z3_OP_STORE);