Method mkDecl

src/api/java/TupleSort.java:29–34

The constructor function of the tuple. @throws Z3Exception

()

     * @throws Z3Exception 
     **/
    public FuncDecl<TupleSort> mkDecl()
    {

        return new FuncDecl<>(getContext(), Native.getTupleSortMkDecl(getContext()
                .nCtx(), getNativeObject()));
    }

    /**
     * The number of fields in the tuple.