Method getArgs

src/api/java/Expr.java:109–118

The arguments of the expression. @throws Z3Exception on error @return an Expr[]

()

     * @return an Expr[]
     **/
    public Expr<?>[] getArgs()
    {
        int n = getNumArgs();
        Expr<?>[] res = new Expr[n];
        for (int i = 0; i < n; i++) {
            res[i] = Expr.create(getContext(),
                Native.getAppArg(getContext().nCtx(), getNativeObject(), i));
        }
        return res;
    }

    /**
     * Update the arguments of the expression using the arguments {@code args}