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