5 package com.microsoft.z3.enumerations;
7 import java.util.HashMap;
22 private final int intValue;
30 private static class Z3_param_kind_MappingHolder {
31 private static final Map<Integer, Z3_param_kind> intMapping =
new HashMap<>();
34 intMapping.put(k.toInt(), k);
39 Z3_param_kind k = Z3_param_kind_MappingHolder.intMapping.get(v);
40 if (k !=
null)
return k;
41 throw new IllegalArgumentException(
"Illegal value " + v +
" for Z3_param_kind");
44 public final int toInt() {
return this.intValue; }