Public Member Functions | |
String | getString () 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 |
Named symbols
Definition at line 25 of file StringSymbol.java.
|
inline |
The string value of the symbol.
Throws an exception if the symbol is not of string kind.
Definition at line 31 of file StringSymbol.java.