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
 
#include "dstring.h"

 
#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;
 
#include "irep_ids.def"
 
#endif