// 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