Public Member Functions | |
int | getInt () throws Z3Exception |
![]() | |
boolean | isIntSymbol () throws Z3Exception |
boolean | isStringSymbol () throws Z3Exception |
String | toString () |
![]() | |
void | dispose () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
Additional Inherited Members | |
![]() | |
Z3_symbol_kind | getKind () throws Z3Exception |
Symbol (Context ctx, long obj) throws Z3Exception | |
![]() | |
void | finalize () throws Z3Exception |
Numbered symbols
Definition at line 25 of file IntSymbol.java.
|
inline |
The int value of the symbol.
Throws an exception if the symbol is not of int kind.
Definition at line 31 of file IntSymbol.java.