irep_ids.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: util
 
Author: Reuben Thomas, reuben.thomas@me.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_IREP_IDS_H
#define CPROVER_UTIL_IREP_IDS_H
 
#ifndef USE_STD_STRING
#define USE_DSTRING
#endif
 
#ifdef USE_DSTRING
#include "dstring.h"
#else
#include <string>
#endif
 
 
#ifdef USE_DSTRING
 
#define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
#define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
 
#else
 
#define IREP_ID_ONE(the_id) extern const std::string ID_##the_id;
#define IREP_ID_TWO(the_id, str) extern const std::string ID_##the_id;
 
#endif
 
#include "irep_ids.def"
 
#endif