libsesstype  2.0.0
Library for Session Types programming.
block.h
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__
 All Classes Namespaces Files Functions