cprover
|
#include <unordered_set>
#include <util/std_expr.h>
#include <util/invariant.h>
#include <goto-programs/goto_functions.h>
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) |
Variables whose address is taken
Definition in file dirty.h.