Method isStore

smt/expr.cpp:559–561

}

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

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