Z3
src
api
java
enumerations
Z3_ast_kind.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
10
public
enum
Z3_ast_kind
{
11
Z3_VAR_AST
(2),
12
Z3_SORT_AST
(4),
13
Z3_QUANTIFIER_AST
(3),
14
Z3_UNKNOWN_AST
(1000),
15
Z3_FUNC_DECL_AST
(5),
16
Z3_NUMERAL_AST
(0),
17
Z3_APP_AST
(1);
18
19
private
final
int
intValue;
20
21
Z3_ast_kind
(
int
v) {
22
this.intValue = v;
23
}
24
25
public
static
final
Z3_ast_kind
fromInt
(
int
v) {
26
for
(
Z3_ast_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_ast_kind.Z3_SORT_AST
Z3_SORT_AST
Definition:
Z3_ast_kind.java:12
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_APP_AST
Z3_APP_AST
Definition:
Z3_ast_kind.java:17
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_QUANTIFIER_AST
Z3_QUANTIFIER_AST
Definition:
Z3_ast_kind.java:13
com.microsoft.z3.enumerations.Z3_ast_kind.fromInt
static final Z3_ast_kind fromInt(int v)
Definition:
Z3_ast_kind.java:25
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_UNKNOWN_AST
Z3_UNKNOWN_AST
Definition:
Z3_ast_kind.java:14
com.microsoft.z3.enumerations.Z3_ast_kind
Definition:
Z3_ast_kind.java:10
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_ast_kind
Z3_ast_kind(int v)
Definition:
Z3_ast_kind.java:21
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_NUMERAL_AST
Z3_NUMERAL_AST
Definition:
Z3_ast_kind.java:16
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_FUNC_DECL_AST
Z3_FUNC_DECL_AST
Definition:
Z3_ast_kind.java:15
com.microsoft.z3.enumerations.Z3_ast_kind.Z3_VAR_AST
Z3_VAR_AST
Definition:
Z3_ast_kind.java:11
com.microsoft.z3.enumerations.Z3_ast_kind.toInt
final int toInt()
Definition:
Z3_ast_kind.java:31
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11