Z3
src
api
java
enumerations
Z3_sort_kind.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
7
import
java.util.HashMap;
8
import
java.util.Map;
9
13
public
enum
Z3_sort_kind
{
14
Z3_UNINTERPRETED_SORT
(0),
15
Z3_BOOL_SORT
(1),
16
Z3_INT_SORT
(2),
17
Z3_REAL_SORT
(3),
18
Z3_BV_SORT
(4),
19
Z3_ARRAY_SORT
(5),
20
Z3_DATATYPE_SORT
(6),
21
Z3_RELATION_SORT
(7),
22
Z3_FINITE_DOMAIN_SORT
(8),
23
Z3_FLOATING_POINT_SORT
(9),
24
Z3_ROUNDING_MODE_SORT
(10),
25
Z3_SEQ_SORT
(11),
26
Z3_RE_SORT
(12),
27
Z3_UNKNOWN_SORT
(1000);
28
29
private
final
int
intValue;
30
31
Z3_sort_kind
(
int
v) {
32
this.intValue = v;
33
}
34
35
// Cannot initialize map in constructor, so need to do it lazily.
36
// Easiest thread-safe way is the initialization-on-demand holder pattern.
37
private
static
class
Z3_sort_kind_MappingHolder {
38
private
static
final
Map<Integer, Z3_sort_kind> intMapping =
new
HashMap<>();
39
static
{
40
for
(
Z3_sort_kind
k :
Z3_sort_kind
.values())
41
intMapping.put(k.toInt(), k);
42
}
43
}
44
45
public
static
final
Z3_sort_kind
fromInt
(
int
v) {
46
Z3_sort_kind
k = Z3_sort_kind_MappingHolder.intMapping.get(v);
47
if
(k != null)
return
k;
48
throw
new
IllegalArgumentException(
"Illegal value "
+ v +
" for Z3_sort_kind"
);
49
}
50
51
public
final
int
toInt
() {
return
this.intValue; }
52
}
53
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_RE_SORT
Z3_RE_SORT
Definition:
Z3_sort_kind.java:26
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_UNINTERPRETED_SORT
Z3_UNINTERPRETED_SORT
Definition:
Z3_sort_kind.java:14
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_INT_SORT
Z3_INT_SORT
Definition:
Z3_sort_kind.java:16
com.microsoft.z3.enumerations.Z3_sort_kind.fromInt
static final Z3_sort_kind fromInt(int v)
Definition:
Z3_sort_kind.java:45
com.microsoft.z3.enumerations.Z3_sort_kind
Definition:
Z3_sort_kind.java:13
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_FINITE_DOMAIN_SORT
Z3_FINITE_DOMAIN_SORT
Definition:
Z3_sort_kind.java:22
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_RELATION_SORT
Z3_RELATION_SORT
Definition:
Z3_sort_kind.java:21
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_ROUNDING_MODE_SORT
Z3_ROUNDING_MODE_SORT
Definition:
Z3_sort_kind.java:24
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_ARRAY_SORT
Z3_ARRAY_SORT
Definition:
Z3_sort_kind.java:19
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_DATATYPE_SORT
Z3_DATATYPE_SORT
Definition:
Z3_sort_kind.java:20
com.microsoft.z3.enumerations.Z3_sort_kind.toInt
final int toInt()
Definition:
Z3_sort_kind.java:51
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_sort_kind
Z3_sort_kind(int v)
Definition:
Z3_sort_kind.java:31
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_BOOL_SORT
Z3_BOOL_SORT
Definition:
Z3_sort_kind.java:15
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_UNKNOWN_SORT
Z3_UNKNOWN_SORT
Definition:
Z3_sort_kind.java:27
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_SEQ_SORT
Z3_SEQ_SORT
Definition:
Z3_sort_kind.java:25
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_FLOATING_POINT_SORT
Z3_FLOATING_POINT_SORT
Definition:
Z3_sort_kind.java:23
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_REAL_SORT
Z3_REAL_SORT
Definition:
Z3_sort_kind.java:17
com.microsoft.z3.enumerations.Z3_sort_kind.Z3_BV_SORT
Z3_BV_SORT
Definition:
Z3_sort_kind.java:18
Generated on Sat Nov 12 2016 22:01:04 for Z3 by
1.8.12