14 #ifndef CPROVER_ANALYSES_DIRTY_H 15 #define CPROVER_ANALYSES_DIRTY_H 17 #include <unordered_set> 25 typedef std::unordered_set<irep_idt, irep_id_hash>
id_sett;
39 void output(std::ostream &out)
const;
74 #endif // CPROVER_ANALYSES_DIRTY_H std::ostream & operator<<(std::ostream &out, const dirtyt &dirty)
void find_dirty_address_of(const exprt &expr)
const irep_idt & get_identifier() const
Goto Programs with Functions.
goto_functionst::goto_functiont goto_functiont
std::unordered_set< irep_idt, irep_id_hash > id_sett
API to expression classes.
bool operator()(const irep_idt &id) const
dirtyt(const goto_functionst &goto_functions)
void find_dirty(const exprt &expr)
goto_function_templatet< goto_programt > goto_functiont
Base class for all expressions.
const id_sett & get_dirty_ids() const
Expression to hold a symbol (variable)
#define forall_goto_functions(it, functions)
void output(std::ostream &out) const
void build(const goto_functiont &goto_function)
dirtyt(const goto_functiont &goto_function)
bool operator()(const symbol_exprt &expr) const