Enum z3_sys::AstPrintMode
source · #[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§
SmtLibFull
Print AST nodes in SMTLIB verbose format.
This corresponds to Z3_PRINT_SMTLIB_FULL
in the C API.
LowLevel
Print AST nodes using a low-level format.
This corresponds to Z3_PRINT_LOW_LEVEL
in the C API.
SmtLib2Compliant
Print AST nodes in SMTLIB 2.x compliant format.
This corresponds to Z3_PRINT_SMTLIB2_COMPLIANT
in the C API.
Trait Implementations§
source§impl Clone for AstPrintMode
impl Clone for AstPrintMode
source§fn clone(&self) -> AstPrintMode
fn clone(&self) -> AstPrintMode
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read more