Z3
Status.java
Go to the documentation of this file.
1 
18 package com.microsoft.z3;
19 
23 public enum Status
24 {
25  // / Used to signify an unsatisfiable status.
27 
28  // / Used to signify an unknown status.
29  UNKNOWN(0),
30 
31  // / Used to signify a satisfiable status.
33 
34  private final int intValue;
35 
36  Status(int v)
37  {
38  this.intValue = v;
39  }
40 
41  public static final Status fromInt(int v)
42  {
43  for (Status k : values())
44  if (k.intValue == v)
45  return k;
46  return values()[0];
47  }
48 
49  public final int toInt()
50  {
51  return this.intValue;
52  }
53 }
static final Status fromInt(int v)
Definition: Status.java:41
final int toInt()
Definition: Status.java:49