api_session_implementationt Struct Reference
Collaboration diagram for api_session_implementationt:Public Attributes | |
| std::unique_ptr< goto_modelt > | model |
| std::unique_ptr< message_handlert > | message_handler |
| std::unique_ptr< optionst > | options |
Detailed Description
Member Data Documentation
◆ message_handler
| std::unique_ptr<message_handlert> api_session_implementationt::message_handler |
◆ model
| std::unique_ptr<goto_modelt> api_session_implementationt::model |
◆ options
| std::unique_ptr<optionst> api_session_implementationt::options |
The documentation for this struct was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/libcprover-cpp/api.cpp
