libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::MsgPayload Member List
This is the complete list of members for sesstype::parameterised::MsgPayload, including all inherited members.
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]
 All Classes Namespaces Files Functions