Z3
src
api
java
enumerations
Z3_ast_print_mode.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_ast_print_mode
{
14
Z3_PRINT_SMTLIB_FULL
(0),
15
Z3_PRINT_LOW_LEVEL
(1),
16
Z3_PRINT_SMTLIB2_COMPLIANT
(2);
17
18
private
final
int
intValue;
19
20
Z3_ast_print_mode
(
int
v) {
21
this.intValue = v;
22
}
23
24
// Cannot initialize map in constructor, so need to do it lazily.
25
// Easiest thread-safe way is the initialization-on-demand holder pattern.
26
private
static
class
Z3_ast_print_mode_MappingHolder {
27
private
static
final
Map<Integer, Z3_ast_print_mode> intMapping =
new
HashMap<>();
28
static
{
29
for
(
Z3_ast_print_mode
k :
Z3_ast_print_mode
.values())
30
intMapping.put(k.toInt(), k);
31
}
32
}
33
34
public
static
final
Z3_ast_print_mode
fromInt
(
int
v) {
35
Z3_ast_print_mode
k = Z3_ast_print_mode_MappingHolder.intMapping.get(v);
36
if
(k != null)
return
k;
37
throw
new
IllegalArgumentException(
"Illegal value "
+ v +
" for Z3_ast_print_mode"
);
38
}
39
40
public
final
int
toInt
() {
return
this.intValue; }
41
}
42
com.microsoft.z3.enumerations.Z3_ast_print_mode
Definition:
Z3_ast_print_mode.java:13
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_LOW_LEVEL
Z3_PRINT_LOW_LEVEL
Definition:
Z3_ast_print_mode.java:15
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_SMTLIB_FULL
Z3_PRINT_SMTLIB_FULL
Definition:
Z3_ast_print_mode.java:14
com.microsoft.z3.enumerations.Z3_ast_print_mode.fromInt
static final Z3_ast_print_mode fromInt(int v)
Definition:
Z3_ast_print_mode.java:34
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_ast_print_mode
Z3_ast_print_mode(int v)
Definition:
Z3_ast_print_mode.java:20
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_SMTLIB2_COMPLIANT
Z3_PRINT_SMTLIB2_COMPLIANT
Definition:
Z3_ast_print_mode.java:16
com.microsoft.z3.enumerations.Z3_ast_print_mode.toInt
final int toInt()
Definition:
Z3_ast_print_mode.java:40
Generated on Thu Jun 27 2019 00:00:00 for Z3 by
1.8.14