libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::RoleGrp Member List
This is the complete list of members for sesstype::parameterised::RoleGrp, including all inherited members.
accept(util::RoleVisitor &v) overridesesstype::parameterised::RoleGrp [virtual]
add_member(Role *role)sesstype::parameterised::RoleGrp [inline]
add_param(Expr *param)sesstype::parameterised::Role [inline]
clone() const overridesesstype::parameterised::RoleGrp [inline, virtual]
matches(sesstype::Role *other) const overridesesstype::parameterised::RoleGrp [inline, virtual]
member(unsigned int index) const sesstype::parameterised::RoleGrp [inline]
member_begin() const sesstype::parameterised::RoleGrp [inline]
member_end() const sesstype::parameterised::RoleGrp [inline]
name() const sesstype::Role [inline]
num_dimens() const sesstype::parameterised::Role [inline]
num_members() const sesstype::parameterised::RoleGrp [inline]
operator<< (defined in sesstype::parameterised::Role)sesstype::parameterised::Role [friend]
operator[](std::size_t idx) const sesstype::parameterised::Role [inline]
Role()sesstype::parameterised::Role [inline]
Role(std::string name)sesstype::parameterised::Role [inline]
Role(const Role &role)sesstype::parameterised::Role [inline]
sesstype::Role::Role(const Role &role)sesstype::Role [inline]
RoleContainer typedef (defined in sesstype::parameterised::RoleGrp)sesstype::parameterised::RoleGrp
RoleGrp()sesstype::parameterised::RoleGrp [inline]
RoleGrp(std::string name)sesstype::parameterised::RoleGrp [inline]
RoleGrp(const RoleGrp &role)sesstype::parameterised::RoleGrp [inline]
set_name(std::string name)sesstype::Role [inline]
~Clonable() (defined in sesstype::util::Clonable)sesstype::util::Clonable [inline, virtual]
~Role() overridesesstype::parameterised::Role [inline, virtual]
~RoleGrp() overridesesstype::parameterised::RoleGrp [inline]
 All Classes Namespaces Files Functions