libTriton  version 0.7 build 1407
astEnums.hpp
Go to the documentation of this file.
1 /*
3 ** Copyright (C) - Triton
4 **
5 ** This program is under the terms of the BSD License.
6 */
7 
8 #ifndef TRITON_ASTENUMS_HPP
9 #define TRITON_ASTENUMS_HPP
10 
11 
12 
14 namespace triton {
20  namespace ast {
29  enum ast_e {
31  ANY_NODE = 0,
33  BVADD_NODE = 5,
34  BVAND_NODE = 7,
35  BVASHR_NODE = 12,
36  BVLSHR_NODE = 17,
37  BVMUL_NODE = 19,
38  BVNAND_NODE = 23,
39  BVNEG_NODE = 29,
40  BVNOR_NODE = 31,
41  BVNOT_NODE = 37,
42  BVOR_NODE = 41,
43  BVROL_NODE = 43,
44  BVROR_NODE = 47,
45  BVSDIV_NODE = 53,
46  BVSGE_NODE = 59,
47  BVSGT_NODE = 61,
48  BVSHL_NODE = 67,
49  BVSLE_NODE = 71,
50  BVSLT_NODE = 73,
51  BVSMOD_NODE = 79,
52  BVSREM_NODE = 83,
53  BVSUB_NODE = 89,
54  BVUDIV_NODE = 97,
55  BVUGE_NODE = 101,
56  BVUGT_NODE = 103,
57  BVULE_NODE = 107,
58  BVULT_NODE = 109,
59  BVUREM_NODE = 113,
60  BVXNOR_NODE = 127,
61  BVXOR_NODE = 131,
62  BV_NODE = 137,
63  COMPOUND_NODE = 139,
64  CONCAT_NODE = 149,
65  DECLARE_NODE = 151,
66  DISTINCT_NODE = 157,
67  EQUAL_NODE = 163,
68  EXTRACT_NODE = 167,
69  IFF_NODE = 173,
70  INTEGER_NODE = 179,
71  ITE_NODE = 181,
72  LAND_NODE = 191,
73  LET_NODE = 193,
74  LNOT_NODE = 197,
75  LOR_NODE = 199,
77  STRING_NODE = 223,
78  SX_NODE = 227,
79  VARIABLE_NODE = 229,
80  ZX_NODE = 233,
81  };
82 
84  namespace representations {
91  enum mode_e {
96  };
97 
99  };
101  };
103 };
104 
105 #endif /* TRITON_ASTENUMS_HPP */
The Triton namespace.
Definition: api.cpp:225
mode_e
All types of representation mode.
Definition: astEnums.hpp:92