Method getNumBound

src/api/java/Quantifier.java:102–105

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.