Public Member Functions | |
Z3_ast_print_mode (int v) | |
final int | toInt () |
Static Public Member Functions | |
static final Z3_ast_print_mode | fromInt (int v) |
Data Fields | |
Z3_PRINT_SMTLIB_FULL =(0) | |
Z3_PRINT_LOW_LEVEL =(1) | |
Z3_PRINT_SMTLIB_COMPLIANT =(2) | |
Z3_PRINT_SMTLIB2_COMPLIANT =(3) | |
Definition at line 13 of file Z3_ast_print_mode.java.
|
inline |
Definition at line 21 of file Z3_ast_print_mode.java.
|
inlinestatic |
Definition at line 35 of file Z3_ast_print_mode.java.
|
inline |
Definition at line 41 of file Z3_ast_print_mode.java.
Referenced by Context.setPrintMode().
Z3_PRINT_LOW_LEVEL =(1) |
Definition at line 15 of file Z3_ast_print_mode.java.
Z3_PRINT_SMTLIB2_COMPLIANT =(3) |
Definition at line 17 of file Z3_ast_print_mode.java.
Referenced by Context.Context().
Z3_PRINT_SMTLIB_COMPLIANT =(2) |
Definition at line 16 of file Z3_ast_print_mode.java.
Z3_PRINT_SMTLIB_FULL =(0) |
Definition at line 14 of file Z3_ast_print_mode.java.