Method translate

src/api/java/Expr.java:223–226

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

(Context ctx)

     * @throws Z3Exception on error
     **/
    public Expr<R> translate(Context ctx)
    {
        return (Expr<R>) super.translate(ctx);
    }

    /**
     * Returns a string representation of the expression.