Function z3_sys::Z3_set_ast_print_mode

pub unsafe extern "C" fn Z3_set_ast_print_mode(
    c: Z3_context, 
    mode: AstPrintMode
)

Select mode for the format used for pretty-printing AST nodes.

The default mode for pretty printing AST nodes is to produce SMT-LIB style output where common subexpressions are printed at each occurrence. The mode is called AstPrintMode::SmtLibFull.

To print shared common subexpressions only once, use the AstPrintMode::LowLevel mode.

To print in way that conforms to SMT-LIB standards and uses let expressions to share common sub-expressions use AstPrintMode::SmtLib2Compliant.

See also:

• Z3_ast_to_string
• Z3_pattern_to_string
• Z3_func_decl_to_string