ksmt-core/io.ksmt/KContext/mkArraySelectNoSimplify

mkArraySelectNoSimplify

open fun <D : KSort, R : KSort> mkArraySelectNoSimplify(array: KExpr<KArraySort<D, R>>, index: KExpr<D>): KArraySelect<D, R>

Create an array select expression (select array).

open fun <D0 : KSort, D1 : KSort, R : KSort> mkArraySelectNoSimplify(array: KExpr<KArray2Sort<D0, D1, R>>, index0: KExpr<D0>, index1: KExpr<D1>): KArray2Select<D0, D1, R>
open fun <D0 : KSort, D1 : KSort, D2 : KSort, R : KSort> mkArraySelectNoSimplify(array: KExpr<KArray3Sort<D0, D1, D2, R>>, index0: KExpr<D0>, index1: KExpr<D1>, index2: KExpr<D2>): KArray3Select<D0, D1, D2, R>

Create an array select expression (select array index1).