Method getInt

src/api/java/IntSymbol.java:32–37

The int value of the symbol. Remarks: Throws an exception if the symbol is not of int kind.

()

     * is not of int kind. 
     **/
    public int getInt()
    {
        if (!isIntSymbol())
            throw new Z3Exception("Int requested from non-Int symbol");
        return Native.getSymbolInt(getContext().nCtx(), getNativeObject());
    }

    IntSymbol(Context ctx, long obj)
    {