Variables whose address is taken. More...
#include <unordered_set>#include <util/std_expr.h>#include <util/invariant.h>#include <goto-programs/goto_functions.h>
Include dependency graph for dirty.h: This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | dirtyt |
| class | incremental_dirtyt |
| Wrapper for dirtyt that permits incremental population, ensuring each function is analysed exactly once. More... | |
Functions | |
| std::ostream & | operator<< (std::ostream &out, const dirtyt &dirty) |
Detailed Description
Variables whose address is taken.
Definition in file dirty.h.
