18package com.microsoft.z3;
23@SuppressWarnings(
"unchecked")
34 return (D)
Sort.create(getContext(),
35 Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
46 return (R)
Sort.create(getContext(),
47 Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
57 super(ctx, Native.mkArraySort(ctx.nCtx(), domain.getNativeObject(),
58 range.getNativeObject()));
63 super(ctx, Native.mkArraySortN(ctx.nCtx(), domains.length, AST.arrayToNative(domains),
64 range.getNativeObject()));
expr range(expr const &lo, expr const &hi)