module.h File Reference

Module containing protocols or sessions (parameterised). More...

#include <iterator>
#include <unordered_map>
#include "sesstype/module.h"
#include "sesstype/import.h"
#include "sesstype/parameterised/const.h"
#include "sesstype/parameterised/session.h"

Include dependency graph for parameterised/module.h:

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

Go to the source code of this file.

Classes
class	sesstype::parameterised::ModuleTmpl< ImportType, SessionType, ConstantType >
	Module is a container class for multiple logically related Protocols (contains parameterised elements). More...
Namespaces
namespace	sesstype
	namespace for Session Types.

---

Detailed Description

Module containing protocols or sessions (parameterised).