![]() |
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.