1 files changed, 118 insertions, 0 deletions
diff --git a/stp/AST/ASTKind.cpp b/stp/AST/ASTKind.cpp
new file mode 100644
index 00000000..9a2392c9
--- /dev/null
+++ b/stp/AST/ASTKind.cpp
@@ -0,0 +1,118 @@
+// Generated automatically by genkinds.h from ASTKind.kinds Sun Apr  4 19:39:09 2010.
+// Do not edit
+namespace BEEV {
+const char * _kind_names[] =  {
+   "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",
+};
+
+unsigned char _kind_categories[] = {
+   0,
+   3,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   1,
+   3,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   2,
+   1,
+   1,
+   0,
+   0,
+   0,
+};
+
+}  // end namespace