![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
add_payload(MsgPayload *payload) | sesstype::MsgSig | [inline] |
clone() const override | sesstype::MsgSig | [inline, virtual] |
has_payload(std::string name) const | sesstype::MsgSig | [inline] |
label() const | sesstype::MsgSig | [inline] |
MsgSig(std::string label) | sesstype::MsgSig | [inline] |
MsgSig(const MsgSig &msgsig) | sesstype::MsgSig | [inline] |
num_payloads() const | sesstype::MsgSig | [inline] |
payload(unsigned int idx) const | sesstype::MsgSig | [inline] |
payload(std::string name) const | sesstype::MsgSig | [inline] |
payload_begin() const (defined in sesstype::MsgSig) | sesstype::MsgSig | [inline] |
payload_end() const (defined in sesstype::MsgSig) | sesstype::MsgSig | [inline] |
PayloadContainer typedef (defined in sesstype::MsgSig) | sesstype::MsgSig | |
~Clonable() (defined in sesstype::util::Clonable) | sesstype::util::Clonable | [inline, virtual] |
~MsgSig() | sesstype::MsgSig | [inline, virtual] |