setASTPrintMode method

void setASTPrintMode(
  1. ASTPrintMode mode
)

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.smtlib2Compliant:
      _z3.set_ast_print_mode(Z3_ast_print_mode.PRINT_SMTLIB2_COMPLIANT);
  }
}