set_ast_print_mode method

void set_ast_print_mode(
  1. Z3_context c,
  2. int mode
)

@name String conversion / /**@{/ /** \brief 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 \c Z3_PRINT_SMTLIB_FULL. To print shared common subexpressions only once, use the \c Z3_PRINT_LOW_LEVEL mode. To print in way that conforms to SMT-LIB standards and uses let expressions to share common sub-expressions use \c Z3_PRINT_SMTLIB2_COMPLIANT.

\sa Z3_ast_to_string \sa Z3_pattern_to_string \sa Z3_func_decl_to_string

def_API('Z3_set_ast_print_mode', VOID, (_in(CONTEXT), _in(PRINT_MODE)))

Implementation

void set_ast_print_mode(
  Z3_context c,
  int mode,
) {
  return _set_ast_print_mode(
    c,
    mode,
  );
}