Method getDomainSize

src/api/java/FuncDecl.java:87–90

The size of the domain of the function declaration @see #getArity

()

     * @see #getArity
     **/
    public int getDomainSize()
    {
        return Native.getDomainSize(getContext().nCtx(), getNativeObject());
    }

    /**
     * The domain of the function declaration