5 package com.microsoft.z3.enumerations;
7 import java.util.HashMap;
266 private final int intValue;
274 private static class Z3_decl_kind_MappingHolder {
275 private static final Map<Integer, Z3_decl_kind> intMapping =
new HashMap<>();
278 intMapping.put(k.toInt(), k);
283 Z3_decl_kind k = Z3_decl_kind_MappingHolder.intMapping.get(v);
284 if (k != null)
return k;
285 throw new IllegalArgumentException(
"Illegal value " + v +
" for Z3_decl_kind");
288 public final int toInt() {
return this.intValue; }
Z3_OP_FPA_RM_TOWARD_POSITIVE
Z3_OP_SPECIAL_RELATION_PO
static final Z3_decl_kind fromInt(int v)
Z3_OP_FPA_RM_NEAREST_TIES_TO_EVEN
Z3_OP_SPECIAL_RELATION_TC
Z3_OP_FPA_ROUND_TO_INTEGRAL
Z3_OP_SPECIAL_RELATION_TRC
Z3_OP_SPECIAL_RELATION_PLO
Z3_OP_PR_ELIM_UNUSED_VARS
Z3_OP_FPA_RM_NEAREST_TIES_TO_AWAY
Z3_OP_PR_MODUS_PONENS_OEQ
Z3_OP_SPECIAL_RELATION_LO
Z3_OP_SPECIAL_RELATION_TO
Z3_OP_FPA_RM_TOWARD_NEGATIVE
Z3_OP_PR_TRANSITIVITY_STAR