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.