Method translate

src/api/java/Sort.java:94–97

Translates (copies) the sort to the Context ctx. @param ctx A context @return A copy of the sort which is associated with ctx @throws Z3Exception on error

(Context ctx)

     * @throws Z3Exception on error
     **/
    public Sort translate(Context ctx)
    {
        return (Sort) super.translate(ctx);
    }

    /**
     * Sort constructor