Public Member Functions | |
String | getString () |
![]() | |
boolean | isIntSymbol () |
boolean | isStringSymbol () |
boolean | equals (Object o) |
String | toString () |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Additional Inherited Members | |
![]() | |
Z3_symbol_kind | getKind () |
Symbol (Context ctx, long obj) | |
![]() | |
void | finalize () |
Named symbols
Definition at line 25 of file StringSymbol.java.
|
inline |
The string value of the symbol. Remarks: Throws an exception if the symbol is not of string kind.
Definition at line 32 of file StringSymbol.java.