5 package com.microsoft.z3.enumerations;
7 import java.util.HashMap;
17 private final int intValue;
25 private static class Z3_symbol_kind_MappingHolder {
26 private static final Map<Integer, Z3_symbol_kind> intMapping =
new HashMap<>();
29 intMapping.put(k.toInt(), k);
35 if (k != null)
return k;
36 throw new IllegalArgumentException(
"Illegal value " + v +
" for Z3_symbol_kind");
39 public final int toInt() {
return this.intValue; }
static final Z3_symbol_kind fromInt(int v)