Method getFieldDecls

src/api/java/TupleSort.java:48–57

The field declarations. @throws Z3Exception

()

     * @throws Z3Exception 
     **/
    public FuncDecl<?>[] getFieldDecls()
    {

        int n = getNumFields();
        FuncDecl<?>[] res = new FuncDecl[n];
        for (int i = 0; i < n; i++)
            res[i] = new FuncDecl<>(getContext(), Native.getTupleSortFieldDecl(
                    getContext().nCtx(), getNativeObject(), i));
        return res;
    }

    TupleSort(Context ctx, Symbol name, int numFields, Symbol[] fieldNames,
            Sort[] fieldSorts)