![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
Module containing sessions or sessions. More...
#include <string>#include <iterator>#include <unordered_map>#include "sesstype/import.h"#include "sesstype/session.h"

Go to the source code of this file.
Classes | |
| class | sesstype::ModuleTmpl< ImportType, SessionType > |
| Module is a container class for multiple logically related Sessions. More... | |
Namespaces | |
| namespace | sesstype |
namespace for Session Types. | |
Typedefs | |
| typedef Module | sesstype::st_module |
Functions | |
| st_module * | sesstype::st_module_mk_init (const char *name) |
| const char * | sesstype::st_module_get_name (st_module *const module) |
| st_module * | sesstype::st_module_add_tree (st_module *const module, st_tree *tree) |
| st_tree * | sesstype::st_module_get_tree (st_module *const module, const char *name) |
| st_tree * | sesstype::st_module_get_tree_at_idx (st_module *const module, unsigned int index) |
| st_module * | sesstype::st_module_import (st_module *const module, st_import *import) |
| void | sesstype::st_module_free (st_module *module) |
Module containing sessions or sessions.
1.7.6.1