Enum z3_sys::AstPrintMode

#[repr(u32)]
pub enum AstPrintMode {
    SmtLibFull,
    LowLevel,
    SmtLib2Compliant,
}

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

impl Clone for AstPrintMode

fn clone(&self) -> AstPrintMode

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for AstPrintMode

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Hash for AstPrintMode

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq<AstPrintMode> for AstPrintMode

fn eq(&self, other: &AstPrintMode) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for AstPrintMode

impl Eq for AstPrintMode

impl StructuralEq for AstPrintMode

impl StructuralPartialEq for AstPrintMode