Public Member Functions | |
Z3_symbol_kind (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Z3_symbol_kind | fromInt (int v) |
Data Fields | |
Z3_INT_SYMBOL =(0) | |
Z3_STRING_SYMBOL =(1) | |
Definition at line 13 of file Z3_symbol_kind.java.
|
inline |
Definition at line 19 of file Z3_symbol_kind.java.
|
inlinestatic |
Definition at line 33 of file Z3_symbol_kind.java.
Referenced by Symbol.getKind(), and Symbol.Symbol().
|
inline |
Definition at line 39 of file Z3_symbol_kind.java.
Z3_INT_SYMBOL =(0) |
Definition at line 14 of file Z3_symbol_kind.java.
Referenced by IntSymbol.getInt(), and Symbol.isIntSymbol().
Z3_STRING_SYMBOL =(1) |
Definition at line 15 of file Z3_symbol_kind.java.
Referenced by StringSymbol.getString(), and Symbol.isStringSymbol().