Method getRange

src/api/java/ArraySort.java:56–60

The range of the array sort. @throws Z3Exception @throws Z3Exception on error @return a sort

()

     * @return a sort
     **/
    public R getRange()
    {
        return (R) Sort.create(getContext(),
                Native.getArraySortRange(getContext().nCtx(), getNativeObject()));
    }

    ArraySort(Context ctx, long obj)
    {