|
cprover
|
#include <base_exceptions.h>
Public Member Functions | |
| template<typename... Ts> | |
| bad_cast_exceptiont (Ts &&...ts) | |
Public Member Functions inherited from invariant_failedt | |
| invariant_failedt (const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_reason) | |
Additional Inherited Members | |
Public Attributes inherited from invariant_failedt | |
| const std::string | file |
| const std::string | function |
| const int | line |
| const std::string | backtrace |
| const std::string | reason |
Definition at line 17 of file base_exceptions.h.
|
inlineexplicit |
Definition at line 25 of file base_exceptions.h.