dirty.h File Reference

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.

Function Documentation

operator<<()

std::ostream& operator<< ( std::ostream &  out, const dirtyt &  dirty  )

inline

Definition at line 105 of file dirty.h.

References dirtyt::output().