Z3
src
api
java
enumerations
Z3_sort_kind.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
10
public
enum
Z3_sort_kind
{
11
Z3_BV_SORT
(4),
12
Z3_FINITE_DOMAIN_SORT
(8),
13
Z3_ARRAY_SORT
(5),
14
Z3_UNKNOWN_SORT
(1000),
15
Z3_RELATION_SORT
(7),
16
Z3_REAL_SORT
(3),
17
Z3_INT_SORT
(2),
18
Z3_FLOATING_POINT_SORT
(9),
19
Z3_ROUNDING_MODE_SORT
(10),
20
Z3_UNINTERPRETED_SORT
(0),
21
Z3_BOOL_SORT
(1),
22
Z3_DATATYPE_SORT
(6);
23
24
private
final
int
intValue;
25
26
Z3_sort_kind
(
int
v) {
27
this.intValue = v;
28
}
29
30
public
static
final
Z3_sort_kind
fromInt
(
int
v) {
31
for
(
Z3_sort_kind
k: values())
32
if
(k.intValue == v)
return
k;
33
return
values()[0];
34
}
35
36
public
final
int
toInt
() {
return
this.intValue; }
37
}
38
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_UNINTERPRETED_SORT
Z3_UNINTERPRETED_SORT
Definition:
Z3_sort_kind.java:20
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_INT_SORT
Z3_INT_SORT
Definition:
Z3_sort_kind.java:17
com.microsoft.z3.enumerations.Z3_sort_kind.fromInt
static final Z3_sort_kind fromInt(int v)
Definition:
Z3_sort_kind.java:30
com.microsoft.z3.enumerations.Z3_sort_kind
Definition:
Z3_sort_kind.java:10
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_FINITE_DOMAIN_SORT
Z3_FINITE_DOMAIN_SORT
Definition:
Z3_sort_kind.java:12
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_RELATION_SORT
Z3_RELATION_SORT
Definition:
Z3_sort_kind.java:15
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_ROUNDING_MODE_SORT
Z3_ROUNDING_MODE_SORT
Definition:
Z3_sort_kind.java:19
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_ARRAY_SORT
Z3_ARRAY_SORT
Definition:
Z3_sort_kind.java:13
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_DATATYPE_SORT
Z3_DATATYPE_SORT
Definition:
Z3_sort_kind.java:22
com.microsoft.z3.enumerations.Z3_sort_kind.toInt
final int toInt()
Definition:
Z3_sort_kind.java:36
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_sort_kind
Z3_sort_kind(int v)
Definition:
Z3_sort_kind.java:26
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_BOOL_SORT
Z3_BOOL_SORT
Definition:
Z3_sort_kind.java:21
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_UNKNOWN_SORT
Z3_UNKNOWN_SORT
Definition:
Z3_sort_kind.java:14
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_FLOATING_POINT_SORT
Z3_FLOATING_POINT_SORT
Definition:
Z3_sort_kind.java:18
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_REAL_SORT
Z3_REAL_SORT
Definition:
Z3_sort_kind.java:16
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_BV_SORT
Z3_BV_SORT
Definition:
Z3_sort_kind.java:11
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11