Public Attributes

std::unique_ptr< goto_modelt > model

std::unique_ptr< optionst > options

Detailed Description

Definition at line 42 of file api.cpp.

std::unique_ptr<message_handlert> api_session_implementationt::message_handler

Definition at line 45 of file api.cpp.

std::unique_ptr<goto_modelt> api_session_implementationt::model

Definition at line 44 of file api.cpp.

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: