Method Optimize

src/api/java/Optimize.java:409–412

(Context ctx, long obj)

    Optimize(Context ctx, long obj) throws Z3Exception
    {
        super(ctx, obj);
    }

    Optimize(Context ctx) throws Z3Exception
    {