CBMC
|
c_defines More...
#include <optional>
#include <string>
#include <unordered_map>
#include <vector>
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.