#include <dirty.h>
Definition at line 23 of file dirty.h.
◆ goto_functiont
◆ dirtyt() [1/3]
- Postcondition
- dirtyt objects that are created through this constructor are not safe to use. If you copied a dirtyt (for example, by adding an object that owns a dirtyt to a container and then copying it back out), you will need to re-initialize the dirtyt by calling dirtyt::build().
Definition at line 43 of file dirty.h.
◆ dirtyt() [2/3]
◆ dirtyt() [3/3]
◆ add_function()
◆ build() [1/2]
◆ build() [2/2]
◆ die_if_uninitialized()
void dirtyt::die_if_uninitialized |
( |
| ) |
const |
|
inlineprivate |
◆ find_dirty()
void dirtyt::find_dirty |
( |
const exprt & |
expr | ) |
|
|
protected |
◆ find_dirty_address_of()
void dirtyt::find_dirty_address_of |
( |
const exprt & |
expr | ) |
|
|
protected |
◆ get_dirty_ids()
const std::unordered_set<irep_idt>& dirtyt::get_dirty_ids |
( |
| ) |
const |
|
inline |
◆ operator()() [1/2]
bool dirtyt::operator() |
( |
const irep_idt & |
id | ) |
const |
|
inline |
◆ operator()() [2/2]
◆ output()
void dirtyt::output |
( |
std::ostream & |
out | ) |
const |
◆ dirty
std::unordered_set<irep_idt> dirtyt::dirty |
|
protected |
◆ initialized
The documentation for this class was generated from the following files: