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 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 }
com.microsoft.z3.Status.SATISFIABLE
SATISFIABLE
Definition: Status.java:32
com.microsoft.z3.Status.toInt
final int toInt()
Definition: Status.java:49
com.microsoft.z3.Status.Status
Status(int v)
Definition: Status.java:36
com.microsoft.z3.Status.UNKNOWN
UNKNOWN
Definition: Status.java:29
com.microsoft.z3.Status.fromInt
static Status fromInt(int v)
Definition: Status.java:41
com.microsoft.z3.Status
Definition: Status.java:24
com.microsoft.z3.Status.UNSATISFIABLE
UNSATISFIABLE
Definition: Status.java:26