role.h File Reference

A (parameterised) participant of a protocol or session. More...

#include "sesstype/role.h"
#include "sesstype/parameterised/expr.h"
#include "sesstype/parameterised/expr/rng.h"

Include dependency graph for parameterised/role.h:

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

Go to the source code of this file.

Classes
class	sesstype::parameterised::Role
	Parameterised Role (participant) of a protocol or session. More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Typedefs
typedef Role	sesstype::parameterised::st_param_role
Functions
unsigned int	sesstype::parameterised::st_role_num_dimen (st_param_role *const role)
	Get the total dimension of a Role.
st_expr *	sesstype::parameterised::st_role_get_param (st_param_role *const role, unsigned int idx)
	Get the idx'th dimension parameter of a Role.
st_param_role *	sesstype::parameterised::st_role_add_param (st_param_role *const role, st_expr *param)
	Add a new parameter to the Role as a new dimension.
void	sesstype::parameterised::st_param_role_free (st_param_role *role)

---

Detailed Description

A (parameterised) participant of a protocol or session.