libsesstype  2.0.0
Library for Session Types programming.
sesstype::parameterised::Role Member List
This is the complete list of members for sesstype::parameterised::Role, including all inherited members.
accept(util::RoleVisitor &v)sesstype::parameterised::Role [virtual]
add_param(Expr *param)sesstype::parameterised::Role [inline]
clone() const overridesesstype::parameterised::Role [inline, virtual]
matches(sesstype::Role *other) const sesstype::parameterised::Role [inline, virtual]
name() const sesstype::Role [inline]
num_dimens() const sesstype::parameterised::Role [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]
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]
 All Classes Namespaces Files Functions