![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
| accept(util::RoleVisitor &v) | sesstype::parameterised::Role | [virtual] |
| add_param(Expr *param) | sesstype::parameterised::Role | [inline] |
| clone() const override | sesstype::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() override | sesstype::parameterised::Role | [inline, virtual] |
1.7.6.1