Function z3_sys::Z3_set_ast_print_mode [−][src]
pub unsafe extern "C" fn Z3_set_ast_print_mode(
c: Z3_context,
mode: AstPrintMode
)
Expand description
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
.