18 package com.microsoft.z3;
33 return Sort.create(getContext(),
45 return Sort.create(getContext(),
57 range.getNativeObject()));
static long getArraySortRange(long a0, long a1)
static long mkArraySort(long a0, long a1, long a2)
static long getArraySortDomain(long a0, long a1)