Public Member Functions | |
boolean | isIntSymbol () throws Z3Exception |
boolean | isStringSymbol () throws Z3Exception |
String | toString () |
![]() | |
void | dispose () throws Z3Exception |
![]() | |
void | dispose () throws Z3Exception |
Protected Member Functions | |
Z3_symbol_kind | getKind () throws Z3Exception |
Symbol (Context ctx, long obj) throws Z3Exception | |
![]() | |
void | finalize () throws Z3Exception |
Symbols are used to name several term and type constructors.
Definition at line 25 of file Symbol.java.
|
inlineprotected |
|
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 |