libsesstype  2.0.0
Library for Session Types programming.
sesstype::SessionTmpl< BaseNode, RoleType > Member List
This is the complete list of members for sesstype::SessionTmpl< BaseNode, RoleType >, including all inherited members.
add_role(RoleType *role)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
endpoint() const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
has_role(RoleType *role) const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
has_role(std::string name) const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
name() const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
num_roles() const (defined in sesstype::SessionTmpl< BaseNode, RoleType >)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
project(Role *role)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
role(std::string name) const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
role_begin() const (defined in sesstype::SessionTmpl< BaseNode, RoleType >)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
role_end() const (defined in sesstype::SessionTmpl< BaseNode, RoleType >)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
root() const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
SessionTmpl()sesstype::SessionTmpl< BaseNode, RoleType > [inline]
SessionTmpl(std::string name)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
set_endpoint(RoleType *endpoint)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
set_root(BaseNode *root)sesstype::SessionTmpl< BaseNode, RoleType > [inline]
type() const sesstype::SessionTmpl< BaseNode, RoleType > [inline]
~SessionTmpl()sesstype::SessionTmpl< BaseNode, RoleType > [inline, virtual]
 All Classes Namespaces Files Functions