Z3
src
api
java
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.UNKNOWN
UNKNOWN
Definition:
Status.java:29
com.microsoft.z3.Status
Definition:
Status.java:23
com.microsoft.z3.Status.fromInt
static Status fromInt(int v)
Definition:
Status.java:41
com.microsoft.z3.Status.SATISFIABLE
SATISFIABLE
Definition:
Status.java:32
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.Status
Status(int v)
Definition:
Status.java:36
Generated on Sat Nov 12 2016 22:01:05 for Z3 by
1.8.12