Go to the documentation of this file. 12 #ifndef CPROVER_UTIL_IREP_IDS_H 13 #define CPROVER_UTIL_IREP_IDS_H 32 enum class idt:unsigned
34 #define IREP_ID_ONE(the_id) id_##the_id, 35 #define IREP_ID_TWO(the_id, str) id_##the_id, 37 #include "irep_ids.def" 42 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id; 43 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id; 47 #define IREP_ID_ONE(the_id) extern const std::string ID_##the_id; 48 #define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id; 52 #include "irep_ids.def"