IntSymbol (z3-turnkey 4.8.14 API)

java.lang.Object
- com.microsoft.z3.Z3Object
- - com.microsoft.z3.Symbol
  - - com.microsoft.z3.IntSymbol

```
public class IntSymbol
extends Symbol
```
Numbered symbols

- Method Summary
  
  All Methods Instance Methods Concrete Methods
  Modifier and Type Method Description
  
  int getInt()
  The int value of the symbol.
  - Methods inherited from class com.microsoft.z3.Symbol
    equals, getKind, isIntSymbol, isStringSymbol, toString
  - Methods inherited from class com.microsoft.z3.Z3Object
    arrayLength, arrayToNative
  - Methods inherited from class java.lang.Object
    clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- Method Detail
  - getInt
```
public int getInt()
```
    The int value of the symbol. Remarks: Throws an exception if the symbol is not of int kind.