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