Enum z3_sys::AstPrintMode [−][src]
#[repr(u32)] pub enum AstPrintMode { SmtLibFull, LowLevel, SmtLib2Compliant, }
Expand description
Z3 pretty printing modes (See Z3_set_ast_print_mode
).
This corresponds to Z3_ast_print_mode
in the C API.
Variants
Print AST nodes in SMTLIB verbose format.
This corresponds to Z3_PRINT_SMTLIB_FULL
in the C API.
Print AST nodes using a low-level format.
This corresponds to Z3_PRINT_LOW_LEVEL
in the C API.
Print AST nodes in SMTLIB 2.x compliant format.
This corresponds to Z3_PRINT_SMTLIB2_COMPLIANT
in the C API.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for AstPrintMode
impl Send for AstPrintMode
impl Sync for AstPrintMode
impl Unpin for AstPrintMode
impl UnwindSafe for AstPrintMode
Blanket Implementations
Mutably borrows from an owned value. Read more