cprover
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().