Inheritance diagram for bad_cast_exceptiont:

Collaboration diagram for bad_cast_exceptiont:

Public Member Functions
template<typename... Ts>
	bad_cast_exceptiont (Ts &&...ts)

Public Member Functions inherited from invariant_failedt
virtual	~invariant_failedt ()=default

virtual std::string	what () const noexcept

	invariant_failedt (const std::string &_file, const std::string &_function, int _line, const std::string &_backtrace, const std::string &_condition, const std::string &_reason)

Detailed Description

Definition at line 17 of file base_exceptions.h.

Constructor & Destructor Documentation

template<typename... Ts>

bad_cast_exceptiont::bad_cast_exceptiont ( Ts &&... ts )

inlineexplicit

Definition at line 25 of file base_exceptions.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/util/base_exceptions.h