session.h File Reference

A session or a session of an interaction, also known in the literature as global type (contains parameterised elements). More...

#include <string>
#include <unordered_map>
#include "sesstype/session.h"
#include "sesstype/parameterised/node.h"
#include "sesstype/parameterised/role.h"
#include "sesstype/parameterised/role_grp.h"

Include dependency graph for parameterised/session.h:

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

Go to the source code of this file.

Classes
class	sesstype::parameterised::SessionTmpl< NodeType, RoleType, RoleGrpType >
	Session class encapsulates a single session (parameterised flavour). More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Typedefs
typedef Session	sesstype::parameterised::st_param_tree
Functions
st_param_tree *	sesstype::parameterised::st_param_tree_mk_init (const char *name)
st_param_tree *	sesstype::parameterised::st_param_tree_add_role (st_param_tree *const tree, st_role *role)
st_param_tree *	sesstype::parameterised::st_param_tree_set_root (st_param_tree *const tree, st_node *root)
st_param_node *	sesstype::parameterised::st_param_tree_get_root (st_param_tree *const tree)
st_param_tree *	sesstype::parameterised::st_param_tree_add_role_grp (st_param_tree *const tree, st_role_grp *grp)
bool	sesstype::parameterised::st_param_tree_has_role_grp (st_param_tree *const tree, const char *grp_name)
void	sesstype::parameterised::st_param_tree_print (st_param_tree *const tree)
st_role_grp *	sesstype::parameterised::st_param_tree_get_role_grp (st_param_tree *const tree, const char *grp_name)
void	sesstype::parameterised::st_param_tree_free (st_param_tree *const tree)

---

Detailed Description

A session or a session of an interaction, also known in the literature as global type (contains parameterised elements).