Z3
src
api
java
enumerations
Z3_lbool.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
10
public
enum
Z3_lbool
{
11
Z3_L_TRUE
(1),
12
Z3_L_UNDEF
(0),
13
Z3_L_FALSE
(-1);
14
15
private
final
int
intValue;
16
17
Z3_lbool
(
int
v) {
18
this.intValue = v;
19
}
20
21
public
static
final
Z3_lbool
fromInt
(
int
v) {
22
for
(
Z3_lbool
k: values())
23
if
(k.intValue == v)
return
k;
24
return
values()[0];
25
}
26
27
public
final
int
toInt
() {
return
this.intValue; }
28
}
29
com.microsoft.z3.enumerations.Z3_lbool.Z3_lbool
Z3_lbool(int v)
Definition:
Z3_lbool.java:17
com.microsoft.z3.enumerations.Z3_lbool
Definition:
Z3_lbool.java:10
com.microsoft.z3.enumerations.Z3_lbool.Z3_L_FALSE
Z3_L_FALSE
Definition:
Z3_lbool.java:13
com.microsoft.z3.enumerations.Z3_lbool.Z3_L_TRUE
Z3_L_TRUE
Definition:
Z3_lbool.java:11
com.microsoft.z3.enumerations.Z3_lbool.Z3_L_UNDEF
Z3_L_UNDEF
Definition:
Z3_lbool.java:12
com.microsoft.z3.enumerations.Z3_lbool.toInt
final int toInt()
Definition:
Z3_lbool.java:27
com.microsoft.z3.enumerations.Z3_lbool.fromInt
static final Z3_lbool fromInt(int v)
Definition:
Z3_lbool.java:21
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11