Public Member Functions | |
boolean | isIntSymbol () |
boolean | isStringSymbol () |
boolean | equals (Object o) |
String | toString () |
![]() | |
void | dispose () |
![]() | |
void | dispose () |
Protected Member Functions | |
Z3_symbol_kind | getKind () |
Symbol (Context ctx, long obj) | |
![]() | |
void | finalize () |
Symbols are used to name several term and type constructors.
Definition at line 25 of file Symbol.java.
|
inline |
Definition at line 52 of file Symbol.java.
|
inlineprotected |
The kind of the symbol (int or string)
Definition at line 30 of file Symbol.java.
Referenced by Symbol.isIntSymbol(), and Symbol.isStringSymbol().
|
inline |
Indicates whether the symbol is of Int kind
Definition at line 39 of file Symbol.java.
Referenced by IntSymbol.getInt(), and Symbol.toString().
|
inline |
Indicates whether the symbol is of string kind.
Definition at line 47 of file Symbol.java.
Referenced by Symbol.toString().
|
inline |