cprover
Loading...
Searching...
No Matches
irep_ids.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: util
4
5Author: 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#ifndef USE_STD_STRING
16#define USE_DSTRING
17#endif
18
19#ifdef USE_DSTRING
20#include "dstring.h"
21#else
22#include <string>
23#endif
24
36
37#ifdef USE_DSTRING
38
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;
41
42#else
43
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;
46
47#endif
48
49#include "irep_ids.def"
50
51#endif
Container for C-Strings.