Method getColumnSorts

src/api/java/RelationSort.java:37–49

The sorts of the columns of the relation sort. @throws Z3Exception

()

     * @throws Z3Exception 
     **/
    public Sort[] getColumnSorts()
    {

        if (m_columnSorts != null)
            return m_columnSorts;

        int n = getArity();
        Sort[] res = new Sort[n];
        for (int i = 0; i < n; i++)
            res[i] = Sort.create(getContext(), Native.getRelationColumn(getContext()
                    .nCtx(), getNativeObject(), i));
        return res;
    }

    private Sort[] m_columnSorts = null;