CBMC
at_scope_exitt< functiont > Member List

This is the complete list of members for at_scope_exitt< functiont >, including all inherited members.

at_scope_exitt(functiont exit_function)at_scope_exitt< functiont >inlineexplicit
exit_functionat_scope_exitt< functiont >
~at_scope_exitt()at_scope_exitt< functiont >inline