Method getArity

src/api/java/FuncDecl.java:78–81

The arity of the function declaration

()

     * The arity of the function declaration
     **/
    public int getArity()
    {
        return Native.getArity(getContext().nCtx(), getNativeObject());
    }

    /**
     * The size of the domain of the function declaration