Z3
Status.java
Go to the documentation of this file.
1
18package com.microsoft.z3;
19
23public enum Status
24{
25 // / Used to signify an unsatisfiable status.
27
28 // / Used to signify an unknown status.
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}
final int toInt()
Definition: Status.java:49
static Status fromInt(int v)
Definition: Status.java:41