Loading...

Searching...

No Matches

analysis_exceptiont Class Reference

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

- Public Member Functions inherited from cprover_exception_baset

virtual std::string what () const

A human readable description of what went wrong.

virtual std::string what () const

A human readable description of what went wrong.

Additional Inherited Members

- Protected Member Functions inherited from cprover_exception_baset

This constructor is marked protected to ensure this class isn't used directly.

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.

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

Definition at line 153 of file exception_utils.h.

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: