Method getSortUniverse

src/api/java/Model.java:271–277

The finite set of distinct values that represent the interpretation for sort s. @param s An uninterpreted sort @return An array of expressions, where each is an element of the universe of s @throws Z3Exception

(R s)

     * @throws Z3Exception
     **/
    public <R extends Sort>  Expr<R>[] getSortUniverse(R s)
    {

        ASTVector nUniv = new ASTVector(getContext(), Native.modelGetSortUniverse(
                getContext().nCtx(), getNativeObject(), s.getNativeObject()));
        return (Expr<R>[]) nUniv.ToExprArray();
    }

    /**
     * Conversion of models to strings.