|
cprover
|
Author: Diffblue Ltd. More...
#include "symbol_table_base.h"Go to the source code of this file.
Classes | |
| class | symbol_tablet |
| The symbol table. More... | |
Macros | |
| #define | forall_symbol_base_map(it, expr, base_name) |
| #define forall_symbol_base_map | ( | it, | |
| expr, | |||
| base_name | |||
| ) |
Definition at line 11 of file symbol_table.h.
Referenced by ansi_c_entry_point(), get_isr(), get_module_by_name(), and jsil_entry_point().