role_grp.h File Reference

A group of participants of a protocol or session. More...

#include <string>
#include <vector>
#include "sesstype/parameterised/role.h"

Include dependency graph for role_grp.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	sesstype::parameterised::RoleGrp
	Role Group (group of participants) of a protocol or session. More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Typedefs
typedef RoleGrp	sesstype::parameterised::st_role_grp
Functions
st_role_grp *	sesstype::parameterised::st_role_grp_init (const char *name)
const char *	sesstype::parameterised::st_role_grp_name (const st_role_grp *const role_grp)
st_role_grp *	sesstype::parameterised::st_role_grp_set_name (st_role_grp *const role_grp, const char *name)
void	sesstype::parameterised::st_role_grp_add_member (st_param_role *role)
unsigned int	sesstype::parameterised::st_role_grp_num_member (const st_role_grp *const role_grp)
void	sesstype::parameterised::st_role_grp_free (st_role_grp *role_grp)

---

Detailed Description

A group of participants of a protocol or session.