Z3
Z3_symbol_kind.java
Go to the documentation of this file.
1 
5 package com.microsoft.z3.enumerations;
6 
10 public enum Z3_symbol_kind {
13 
14  private final int intValue;
15 
16  Z3_symbol_kind(int v) {
17  this.intValue = v;
18  }
19 
20  public static final Z3_symbol_kind fromInt(int v) {
21  for (Z3_symbol_kind k: values())
22  if (k.intValue == v) return k;
23  return values()[0];
24  }
25 
26  public final int toInt() { return this.intValue; }
27 }
28 
static final Z3_symbol_kind fromInt(int v)