![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
00001 #ifndef SESSTYPE__PARAMETERISED__NODE__BLOCK_H__ 00002 #define SESSTYPE__PARAMETERISED__NODE__BLOCK_H__ 00003 00004 #include "sesstype/node/block.h" 00005 #include "sesstype/util/visitor_tmpl.h" 00006 00007 #include "sesstype/parameterised/msg.h" 00008 #include "sesstype/parameterised/role.h" 00009 #include "sesstype/parameterised/node.h" 00010 00011 00012 #ifdef __cplusplus 00013 namespace sesstype { 00014 namespace parameterised { 00015 #endif 00016 00017 #ifdef __cplusplus 00018 using BlockNode = BlockNodeTmpl<Node, Role, MsgSig, util::NodeVisitor>; 00019 #endif 00020 00021 #ifdef __cplusplus 00022 } // namespace parameterised 00023 } // namespace sesstype 00024 #endif 00025 00026 #endif//SESSTYPE__PARAMETERISED__NODE__BLOCK_H__