Z3
Z3_sort_kind.java
Go to the documentation of this file.
1 
5 package com.microsoft.z3.enumerations;
6 
10 public enum Z3_sort_kind {
23 
24  private final int intValue;
25 
26  Z3_sort_kind(int v) {
27  this.intValue = v;
28  }
29 
30  public static final Z3_sort_kind fromInt(int v) {
31  for (Z3_sort_kind k: values())
32  if (k.intValue == v) return k;
33  return values()[0];
34  }
35 
36  public final int toInt() { return this.intValue; }
37 }
38 
static final Z3_sort_kind fromInt(int v)