Go to the documentation of this file. 12 #ifndef CPROVER_UTIL_IREP_IDS_H 13 #define CPROVER_UTIL_IREP_IDS_H 15 #ifndef USE_STD_STRING 39 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id; 40 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id; 44 #define IREP_ID_ONE(the_id) extern const std::string ID_##the_id; 45 #define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id; 49 #include "irep_ids.def"