setASTPrintMode method

void setASTPrintMode(
  1. ASTPrintMode mode
)

Sets the ASTPrintMode of the current context used in astToString and some other places.

Implementation

void setASTPrintMode(ASTPrintMode mode) {
  switch (mode) {
    case ASTPrintMode.smtlibFull:
      _z3.set_ast_print_mode(Z3_ast_print_mode.PRINT_SMTLIB_FULL);
    case ASTPrintMode.lowLevel:
      _z3.set_ast_print_mode(Z3_ast_print_mode.PRINT_LOW_LEVEL);
    case ASTPrintMode.smtlibCompliant:
      _z3.set_ast_print_mode(Z3_ast_print_mode.PRINT_SMTLIB2_COMPLIANT);
  }
}