CBMC
irep_ids.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: util
4 
5 Author: Reuben Thomas, reuben.thomas@me.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_IREP_IDS_H
13 #define CPROVER_UTIL_IREP_IDS_H
14 
15 #include "dstring.h"
16 
28 
29 #define IREP_ID_ONE(the_id) extern const dstringt ID_##the_id;
30 #define IREP_ID_TWO(the_id, str) extern const dstringt ID_##the_id;
31 
32 #include "irep_ids.def"
33 
34 #endif
dstring.h
Container for C-Strings.