Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error). More...

Inheritance diagram for analysis_exceptiont:

Collaboration diagram for analysis_exceptiont:

Public Member Functions
	analysis_exceptiont (std::string reason)
Public Member Functions inherited from cprover_exception_baset
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
	cprover_exception_baset ()=default
	cprover_exception_baset (cprover_exception_baset &&)=default
	cprover_exception_baset (const cprover_exception_baset &src)
std::string	reason () const

Additional Inherited Members
Protected Member Functions inherited from cprover_exception_baset
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.
Protected Attributes inherited from cprover_exception_baset
std::string	reason
	The reason this exception was generated.
std::ostringstream	_reason
	The reason this exception was generated.

Detailed Description

Thrown when an unexpected error occurs during the analysis (e.g., when the SAT solver returns an error).

Definition at line 194 of file exception_utils.h.

Constructor & Destructor Documentation

analysis_exceptiont::analysis_exceptiont ( std::string reason )

explicit

Definition at line 78 of file exception_utils.cpp.

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