cprover
escape_domaint::cleanupt Struct Reference

#include <escape_analysis.h>

Collaboration diagram for escape_domaint::cleanupt:
[legend]

Public Attributes

std::set< irep_idtcleanup_functions
 

Detailed Description

Definition at line 69 of file escape_analysis.h.

Member Data Documentation

◆ cleanup_functions

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

Definition at line 71 of file escape_analysis.h.


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