![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
A message for passing between participants. More...
#include <algorithm>#include <stdexcept>#include <string>#include <vector>#include "sesstype/util/clonable.h"

Go to the source code of this file.
Classes | |
| class | sesstype::MsgPayload |
| Message Payload. More... | |
| class | sesstype::MsgSig |
| Message Signature. More... | |
Namespaces | |
| namespace | sesstype |
namespace for Session Types. | |
Typedefs | |
| typedef MsgSig | sesstype::st_msg |
| typedef MsgPayload | sesstype::st_msg_payload |
Functions | |
| st_msg * | sesstype::st_mk_msg (const char *op) |
| st_msg * | sesstype::st_msg_add_payload (st_msg *msg, st_msg_payload *payload) |
| void | sesstype::st_msg_free (st_msg *msg) |
| st_msg_payload * | sesstype::st_mk_msg_payload (const char *type) |
| st_msg_payload * | sesstype::st_mk_msg_payload_annotated (const char *type, const char *name) |
| void | sesstype::st_msg_payload_free (st_msg_payload *payload) |
A message for passing between participants.
1.7.6.1