![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
accept(util::RoleVisitor &v) (defined in sesstype::Role) | sesstype::Role | [virtual] |
clone() const override | sesstype::Role | [inline, virtual] |
matches(Role *other) const | sesstype::Role | [inline, virtual] |
name() const | sesstype::Role | [inline] |
Role() | sesstype::Role | [inline] |
Role(std::string name) | sesstype::Role | [inline] |
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() | sesstype::Role | [inline, virtual] |