1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
|
// -*- c++ -*-
#ifndef TESTKINDS_H
#define TESTKINDS_H
// Generated automatically by genkinds.pl from ASTKind.kinds Sun Apr 4 19:39:09 2010.
// Do not edit
namespace BEEV {
typedef enum {
UNDEFINED,
SYMBOL,
BVCONST,
BVNEG,
BVCONCAT,
BVOR,
BVAND,
BVXOR,
BVNAND,
BVNOR,
BVXNOR,
BVEXTRACT,
BVLEFTSHIFT,
BVRIGHTSHIFT,
BVSRSHIFT,
BVVARSHIFT,
BVPLUS,
BVSUB,
BVUMINUS,
BVMULTINVERSE,
BVMULT,
BVDIV,
BVMOD,
SBVDIV,
SBVMOD,
BVSX,
BOOLVEC,
ITE,
BVGETBIT,
BVLT,
BVLE,
BVGT,
BVGE,
BVSLT,
BVSLE,
BVSGT,
BVSGE,
EQ,
NEQ,
FALSE,
TRUE,
NOT,
AND,
OR,
NAND,
NOR,
XOR,
IFF,
IMPLIES,
READ,
WRITE,
ARRAY,
BITVECTOR,
BOOLEAN
} Kind;
extern unsigned char _kind_categories[];
inline bool is_Term_kind(Kind k) { return (_kind_categories[k] & 1); }
inline bool is_Form_kind(Kind k) { return (_kind_categories[k] & 2); }
extern const char *_kind_names[];
/** Prints symbolic name of kind */
inline ostream& operator<<(ostream &os, const Kind &kind) { os << _kind_names[kind]; return os; }
} // end namespace
#endif
|
