Method getNumBound

src/api/java/Lambda.java:32–35

The number of bound variables.

()

     * The number of bound variables.
     **/
    public int getNumBound()
    {
        return Native.getQuantifierNumBound(getContext().nCtx(), getNativeObject());
    }

    /**
     * The symbols for the bound variables.