Go to the documentation of this file.
12#ifndef CPROVER_UTIL_IREP_IDS_H
13#define CPROVER_UTIL_IREP_IDS_H
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"