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.
26 UNSATISFIABLE(-1),
27
28 // / Used to signify an unknown status.
29 UNKNOWN(0),
30
31 // / Used to signify a satisfiable status.
32 SATISFIABLE(1);
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
Definition: Status.java:24
com.microsoft.z3.Status.SATISFIABLE
SATISFIABLE
Definition: Status.java:32
com.microsoft.z3.Status.Status
Status(int v)
Definition: Status.java:36
com.microsoft.z3.Status.UNSATISFIABLE
UNSATISFIABLE
Definition: Status.java:26
com.microsoft.z3.Status.toInt
final int toInt()
Definition: Status.java:49
com.microsoft.z3.Status.UNKNOWN
UNKNOWN
Definition: Status.java:29
com.microsoft.z3.Status.fromInt
static Status fromInt(int v)
Definition: Status.java:41