Method getNumArgs

src/api/java/Expr.java:99–102

The number of arguments of the expression. @throws Z3Exception on error @return an int

()

     * @return an int
     **/
    public int getNumArgs()
    {
        return Native.getAppNumArgs(getContext().nCtx(), getNativeObject());
    }

    /**
     * The arguments of the expression.