Z3
src
api
java
enumerations
Z3_symbol_kind.java
Go to the documentation of this file.
1
5
package
com.microsoft.z3.enumerations;
6
10
public
enum
Z3_symbol_kind
{
11
Z3_INT_SYMBOL
(0),
12
Z3_STRING_SYMBOL
(1);
13
14
private
final
int
intValue;
15
16
Z3_symbol_kind
(
int
v) {
17
this.intValue = v;
18
}
19
20
public
static
final
Z3_symbol_kind
fromInt
(
int
v) {
21
for
(
Z3_symbol_kind
k: values())
22
if
(k.intValue == v)
return
k;
23
return
values()[0];
24
}
25
26
public
final
int
toInt
() {
return
this.intValue; }
27
}
28
com.microsoft.z3.enumerations.Z3_symbol_kind.Z3_INT_SYMBOL
Z3_INT_SYMBOL
Definition:
Z3_symbol_kind.java:11
com.microsoft.z3.enumerations.Z3_symbol_kind.Z3_STRING_SYMBOL
Z3_STRING_SYMBOL
Definition:
Z3_symbol_kind.java:12
com.microsoft.z3.enumerations.Z3_symbol_kind.fromInt
static final Z3_symbol_kind fromInt(int v)
Definition:
Z3_symbol_kind.java:20
com.microsoft.z3.enumerations.Z3_symbol_kind.toInt
final int toInt()
Definition:
Z3_symbol_kind.java:26
com.microsoft.z3.enumerations.Z3_symbol_kind.Z3_symbol_kind
Z3_symbol_kind(int v)
Definition:
Z3_symbol_kind.java:16
com.microsoft.z3.enumerations.Z3_symbol_kind
Definition:
Z3_symbol_kind.java:10
Generated on Tue Jul 19 2016 21:26:48 for Z3 by
1.8.11