18 package com.microsoft.z3;
33 return Sort.create(getContext(),
45 return Sort.create(getContext(),
54 ArraySort(Context ctx, Sort domain, Sort range)
56 super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
57 range.getNativeObject()));
static long getArraySortRange(long a0, long a1)
static long getArraySortDomain(long a0, long a1)