Method getDomain

src/api/java/ArraySort.java:32–36

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

()

     * @return a sort
     **/
    public D getDomain()
    {
        return (D) Sort.create(getContext(),
                Native.getArraySortDomain(getContext().nCtx(), getNativeObject()));
    }

    /**
     * The domain of a multi-dimensional array sort.