Public Member Functions | |
Z3_param_kind (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Z3_param_kind | fromInt (int v) |
Data Fields | |
Z3_PK_BOOL =(1) | |
Z3_PK_SYMBOL =(3) | |
Z3_PK_OTHER =(5) | |
Z3_PK_INVALID =(6) | |
Z3_PK_UINT =(0) | |
Z3_PK_STRING =(4) | |
Z3_PK_DOUBLE =(2) | |
Definition at line 10 of file Z3_param_kind.java.
|
inline |
Definition at line 21 of file Z3_param_kind.java.
|
inlinestatic |
Definition at line 25 of file Z3_param_kind.java.
Referenced by ParamDescrs.getKind().
|
inline |
Definition at line 31 of file Z3_param_kind.java.
Z3_PK_BOOL =(1) |
Definition at line 11 of file Z3_param_kind.java.
Z3_PK_DOUBLE =(2) |
Definition at line 17 of file Z3_param_kind.java.
Z3_PK_INVALID =(6) |
Definition at line 14 of file Z3_param_kind.java.
Z3_PK_OTHER =(5) |
Definition at line 13 of file Z3_param_kind.java.
Z3_PK_STRING =(4) |
Definition at line 16 of file Z3_param_kind.java.
Z3_PK_SYMBOL =(3) |
Definition at line 12 of file Z3_param_kind.java.
Z3_PK_UINT =(0) |
Definition at line 15 of file Z3_param_kind.java.