1 files changed, 79 insertions, 0 deletions
diff --git a/stp/AST/ASTKind.h b/stp/AST/ASTKind.h
new file mode 100644
index 00000000..d069fdcf
--- /dev/null
+++ b/stp/AST/ASTKind.h
@@ -0,0 +1,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