Method isLoad

smt/expr.cpp:563–565

}

bool expr::isLoad(expr &array, expr &idx) const {
  return isBinOp(array, idx, Z3_OP_SELECT);
}

bool expr::isLambda(expr &body) const {
  C();