CBMC
Public Member Functions | Public Attributes | List of all members
no_unique_unimplemented_method_exceptiont Class Reference
+ Inheritance diagram for no_unique_unimplemented_method_exceptiont:
+ Collaboration diagram for no_unique_unimplemented_method_exceptiont:

Public Member Functions

 no_unique_unimplemented_method_exceptiont (const std::string &s)
 

Public Attributes

const std::string message
 

Detailed Description

Definition at line 96 of file lambda_synthesis.cpp.

Constructor & Destructor Documentation

◆ no_unique_unimplemented_method_exceptiont()

no_unique_unimplemented_method_exceptiont::no_unique_unimplemented_method_exceptiont ( const std::string &  s)
inlineexplicit

Definition at line 99 of file lambda_synthesis.cpp.

Member Data Documentation

◆ message

const std::string no_unique_unimplemented_method_exceptiont::message

Definition at line 103 of file lambda_synthesis.cpp.

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