|
CBMC
|
Include dependency graph for c_defines.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | c_definest |
| This class maintains a representation of one assignment to the preprocessor macros in a C program. More... | |
| struct | c_definest::definet |
c_defines
Definition in file c_defines.h.