6 \author Martin Brain, Owen Jones
8 \section data_structures Data Structures
10 This section discusses some of the key data-structures used in the
13 \subsection irept_section Irept Data Structure
15 See \ref irept for more information.
17 \subsection irep_idt_section Irep_idt and Dstringt
19 Inside \ref irept, strings are stored as irep_idts, or irep_namets for
20 keys to named_sub or comments. By default both irep_idt and irep_namet
21 are typedefed to \ref dstringt, unless USE_STD_STRING is set, in which
22 case they are typedefed to std::string (this can be used for debugging
29 1 [shape=none, label=""];
30 2 [label="command line parsing"];
31 3 [shape=none, label=""];
32 1 -> 2 [label="C files or goto-binaries"];
33 2 -> 3 [label="Command line options, file names"];