Method getNumSorts

src/api/java/Model.java:235–238

The number of uninterpreted sorts that the model has an interpretation for.

()

     * for.
     **/
    public int getNumSorts()
    {
        return Native.modelGetNumSorts(getContext().nCtx(), getNativeObject());
    }

    /**
     * The uninterpreted sorts that the model has an interpretation for.