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

Definition at line 42 of file api.cpp.

Member Data Documentation

message_handler

std::unique_ptr<message_handlert> api_session_implementationt::message_handler

Definition at line 45 of file api.cpp.

model

std::unique_ptr<goto_modelt> api_session_implementationt::model

Definition at line 44 of file api.cpp.

options

std::unique_ptr<optionst> api_session_implementationt::options

Definition at line 46 of file api.cpp.

---

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

• libcprover-cpp/api.cpp