cprover
|
#include <exception>
Go to the source code of this file.
Functions | |
template<class T > | |
void | util_throw_with_nested (T &&t) |
template<class E > | |
void | util_rethrow_if_nested (const E &e) |
void util_rethrow_if_nested | ( | const E & | e | ) |
Definition at line 47 of file throw_with_nested.h.
Referenced by unwrap_exception().
void util_throw_with_nested | ( | T && | t | ) |
Definition at line 37 of file throw_with_nested.h.
Referenced by symex_target_equationt::convert_assertions(), symex_target_equationt::convert_assumptions(), boolbvt::convert_byte_extract(), symex_target_equationt::convert_constraints(), symex_target_equationt::convert_decls(), symex_target_equationt::convert_goto_instructions(), and symex_target_equationt::convert_guards().