findArrayToSelectFrom

open override fun findArrayToSelectFrom(indices: List<KExpr<*>>): KExpr<KArray2Sort<D0, D1, 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>): KExpr<KArray2Sort<D0, D1, R>>