findArrayToSelectFrom

open override fun findArrayToSelectFrom(indices: List<KExpr<*>>): KExpr<KArray3Sort<D0, D1, D2, R>>

Find an array expression containing the value for the provided indices.

Returns:

  1. Indices match the current store expression indices -> current store.

  2. We can't determine whether indices match or not -> current store.

  3. Indices definitely don't match current store indices (e.g. both are interpreted values) -> apply this operation on a nested array.


fun findArrayToSelectFrom(index0: KExpr<D0>, index1: KExpr<D1>, index2: KExpr<D2>): KExpr<KArray3Sort<D0, D1, D2, R>>