![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
| add_param(Expr *param) | sesstype::parameterised::MsgPayload | [inline] |
| clone() const override (defined in sesstype::MsgPayload) | sesstype::MsgPayload | [inline, virtual] |
| MsgPayload(std::string type) | sesstype::parameterised::MsgPayload | [inline] |
| MsgPayload(std::string type, std::string name) | sesstype::parameterised::MsgPayload | [inline] |
| MsgPayload(const MsgPayload &payload) | sesstype::parameterised::MsgPayload | [inline] |
| sesstype::MsgPayload::MsgPayload(const MsgPayload &payload) | sesstype::MsgPayload | [inline] |
| name() const | sesstype::MsgPayload | [inline] |
| num_dimens() const | sesstype::parameterised::MsgPayload | [inline] |
| operator[](unsigned int idx) | sesstype::parameterised::MsgPayload | [inline] |
| type() const | sesstype::MsgPayload | [inline] |
| ~Clonable() (defined in sesstype::util::Clonable) | sesstype::util::Clonable | [inline, virtual] |
| ~MsgPayload() | sesstype::parameterised::MsgPayload | [inline] |
1.7.6.1