![]() |
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] |
1.7.6.1