session.h File Reference

A session or a session of an interaction, also known in the literature as global type. More...

#include <string>
#include <iterator>
#include <unordered_map>
#include <sesstype/import.h>
#include <sesstype/node.h>
#include <sesstype/role.h>

Include dependency graph for session.h:

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

Go to the source code of this file.

Classes
class	sesstype::SessionTmpl< BaseNode, RoleType >
	Session (st_tree) class encapsulates a single session. More...
Namespaces
namespace	sesstype
	namespace for Session Types.
Defines
#define	ST_TYPE_GLOBAL   1
#define	ST_TYPE_LOCAL   2
Typedefs
typedef Session	sesstype::st_tree
Functions
st_tree *	sesstype::st_tree_mk_init (const char *name)
st_tree *	sesstype::st_tree_add_role (st_tree *tree, st_role *role)
st_tree *	sesstype::st_tree_set_root (st_tree *tree, st_node *root)
st_node *	sesstype::st_tree_get_root (st_tree *tree)
void	sesstype::st_tree_free (st_tree *tree)

---

Detailed Description

A session or a session of an interaction, also known in the literature as global type.