Method translate

src/api/java/AST.java:90–97

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

(Context ctx)

     * @throws Z3Exception on error
     **/
    public AST translate(Context ctx)
    {
        if (getContext() == ctx) {
            return this;
        } else {
            return create(ctx, Native.translate(getContext().nCtx(), getNativeObject(), ctx.nCtx()));
        }
    }

    /**
     * The kind of the AST.