at_scope_exitt< functiont > Struct Template Reference

Public Member Functions
	at_scope_exitt (functiont exit_function)
	~at_scope_exitt ()

Public Attributes
functiont	exit_function

Detailed Description

template<typename functiont>
struct at_scope_exitt< functiont >

Definition at line 1798 of file convert_expr_to_smt.cpp.

Constructor & Destructor Documentation

at_scope_exitt()

template<typename functiont >

at_scope_exitt< functiont >::at_scope_exitt ( functiont  exit_function )

inlineexplicit

Definition at line 1800 of file convert_expr_to_smt.cpp.

~at_scope_exitt()

template<typename functiont >

at_scope_exitt< functiont >::~at_scope_exitt ( )

inline

Definition at line 1804 of file convert_expr_to_smt.cpp.

Member Data Documentation

exit_function

template<typename functiont >

functiont at_scope_exitt< functiont >::exit_function

Definition at line 1808 of file convert_expr_to_smt.cpp.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2_incremental/convert_expr_to_smt.cpp