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()));
60 ArraySort(Context ctx, Sort[] domains, Sort
range)
62 super(ctx, Native.mkArraySortN(ctx.nCtx(), domains.length, AST.arrayToNative(domains),
63 range.getNativeObject()));
static long getArraySortRange(long a0, long a1)
expr range(expr const &lo, expr const &hi)
static long getArraySortDomain(long a0, long a1)