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