18 package com.microsoft.z3;
33 return Sort.create(getContext(),
45 return Sort.create(getContext(),
57 range.getNativeObject()));
63 range.getNativeObject()));
static long getArraySortRange(long a0, long a1)
expr range(expr const &lo, expr const &hi)
static long mkArraySort(long a0, long a1, long a2)
static long getArraySortDomain(long a0, long a1)
static long mkArraySortN(long a0, int a1, long[] a2, long a3)