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