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
10
public
enum
Z3_ast_print_mode
{
11
Z3_PRINT_SMTLIB2_COMPLIANT
(3),
12
Z3_PRINT_SMTLIB_COMPLIANT
(2),
13
Z3_PRINT_SMTLIB_FULL
(0),
14
Z3_PRINT_LOW_LEVEL
(1);
15
16
private
final
int
intValue;
17
18
Z3_ast_print_mode
(
int
v) {
19
this.intValue = v;
20
}
21
22
public
static
final
Z3_ast_print_mode
fromInt
(
int
v) {
23
for
(
Z3_ast_print_mode
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_ast_print_mode
Definition:
Z3_ast_print_mode.java:10
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_LOW_LEVEL
Z3_PRINT_LOW_LEVEL
Definition:
Z3_ast_print_mode.java:14
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_SMTLIB_FULL
Z3_PRINT_SMTLIB_FULL
Definition:
Z3_ast_print_mode.java:13
com.microsoft.z3.enumerations.Z3_ast_print_mode.fromInt
static final Z3_ast_print_mode fromInt(int v)
Definition:
Z3_ast_print_mode.java:22
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_SMTLIB_COMPLIANT
Z3_PRINT_SMTLIB_COMPLIANT
Definition:
Z3_ast_print_mode.java:12
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_ast_print_mode
Z3_ast_print_mode(int v)
Definition:
Z3_ast_print_mode.java:18
com.microsoft.z3.enumerations.Z3_ast_print_mode.Z3_PRINT_SMTLIB2_COMPLIANT
Z3_PRINT_SMTLIB2_COMPLIANT
Definition:
Z3_ast_print_mode.java:11
com.microsoft.z3.enumerations.Z3_ast_print_mode.toInt
final int toInt()
Definition:
Z3_ast_print_mode.java:28
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11