escape_domaint::cleanupt Struct Reference

#include <escape_analysis.h>

Collaboration diagram for escape_domaint::cleanupt:

Public Attributes
std::set< irep_idt >	cleanup_functions

Detailed Description

Definition at line 82 of file escape_analysis.h.

Member Data Documentation

cleanup_functions

std::set<irep_idt> escape_domaint::cleanupt::cleanup_functions

Definition at line 84 of file escape_analysis.h.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/escape_analysis.h