Method update

src/api/java/Expr.java:127–135

Update the arguments of the expression using the arguments args The number of new arguments should coincide with the current number of arguments. @param args arguments @throws Z3Exception on error

(Expr<?>[] args)

     * @throws Z3Exception on error
     **/
    public Expr<R> update(Expr<?>[] args)
    {
        getContext().checkContextMatch(args);
        if (isApp() && args.length != getNumArgs()) {
            throw new Z3Exception("Number of arguments does not match");
        }
        return (Expr<R>) Expr.create(getContext(), Native.updateTerm(getContext().nCtx(), getNativeObject(),
                args.length, Expr.arrayToNative(args)));
    }

    /**
     * Substitute every occurrence of {@code from[i]} in the expression