5 package com.microsoft.z3.enumerations;
7 import java.util.HashMap;
19 private final int intValue;
27 private static class Z3_ast_print_mode_MappingHolder {
28 private static final Map<Integer, Z3_ast_print_mode> intMapping =
new HashMap<>();
31 intMapping.put(k.toInt(), k);
37 if (k != null)
return k;
38 throw new IllegalArgumentException(
"Illegal value " + v +
" for Z3_ast_print_mode");
41 public final int toInt() {
return this.intValue; }
static final Z3_ast_print_mode fromInt(int v)
Z3_PRINT_SMTLIB_COMPLIANT
Z3_PRINT_SMTLIB2_COMPLIANT