// Generated automatically by genkinds.h from ASTKind.kinds Thu Aug 13 14:55:28 2026.
// Do not edit
namespace stp {
#if defined(__GNUC__) || defined(__clang__)

__attribute__((visibility("default")))

#endif

const char * _kind_names[] =  {
   "UNDEFINED",
   "SYMBOL",
   "BVCONST",
   "BVNOT",
   "BVCONCAT",
   "BVOR",
   "BVAND",
   "BVXOR",
   "BVNAND",
   "BVNOR",
   "BVXNOR",
   "BVEXTRACT",
   "BVLEFTSHIFT",
   "BVRIGHTSHIFT",
   "BVSRSHIFT",
   "BVPLUS",
   "BVSUB",
   "BVUMINUS",
   "BVMULT",
   "BVDIV",
   "BVMOD",
   "SBVDIV",
   "SBVREM",
   "SBVMOD",
   "BVSX",
   "BVZX",
   "ITE",
   "BOOLEXTRACT",
   "BVLT",
   "BVLE",
   "BVGT",
   "BVGE",
   "BVSLT",
   "BVSLE",
   "BVSGT",
   "BVSGE",
   "EQ",
   "FALSE",
   "TRUE",
   "NOT",
   "AND",
   "OR",
   "NAND",
   "NOR",
   "XOR",
   "IFF",
   "IMPLIES",
   "PARAMBOOL",
   "READ",
   "WRITE",
   "ARRAY",
   "BITVECTOR",
   "BOOLEAN",
};

#if defined(__GNUC__) || defined(__clang__)

__attribute__((visibility("default")))

#endif

unsigned char _kind_categories[] = {
   0, //UNDEFINED
   3, //SYMBOL
   1, //BVCONST
   1, //BVNOT
   1, //BVCONCAT
   1, //BVOR
   1, //BVAND
   1, //BVXOR
   1, //BVNAND
   1, //BVNOR
   1, //BVXNOR
   1, //BVEXTRACT
   1, //BVLEFTSHIFT
   1, //BVRIGHTSHIFT
   1, //BVSRSHIFT
   1, //BVPLUS
   1, //BVSUB
   1, //BVUMINUS
   1, //BVMULT
   1, //BVDIV
   1, //BVMOD
   1, //SBVDIV
   1, //SBVREM
   1, //SBVMOD
   1, //BVSX
   1, //BVZX
   3, //ITE
   2, //BOOLEXTRACT
   2, //BVLT
   2, //BVLE
   2, //BVGT
   2, //BVGE
   2, //BVSLT
   2, //BVSLE
   2, //BVSGT
   2, //BVSGE
   2, //EQ
   2, //FALSE
   2, //TRUE
   2, //NOT
   2, //AND
   2, //OR
   2, //NAND
   2, //NOR
   2, //XOR
   2, //IFF
   2, //IMPLIES
   2, //PARAMBOOL
   1, //READ
   1, //WRITE
   0, //ARRAY
   0, //BITVECTOR
   0, //BOOLEAN
};

}  // end namespace
