libsesstype  2.0.0
Library for Session Types programming.
continue.h
00001 #ifndef SESSTYPE__PARAMETERISED__NODE__CONTINUE_H__
00002 #define SESSTYPE__PARAMETERISED__NODE__CONTINUE_H__
00003 
00004 #include "sesstype/node/continue.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 #ifdef __cplusplus
00012 namespace sesstype {
00013 namespace parameterised {
00014 #endif
00015 
00016 #ifdef __cplusplus
00017 using ContinueNode = ContinueNodeTmpl<Node, Role, MsgSig, util::NodeVisitor>;
00018 #endif
00019 
00020 #ifdef __cplusplus
00021 } // parameterised
00022 } // sesstype
00023 #endif
00024 
00025 #endif//SESSTYPE__PARAMETERISED__NODE__CONTINUE_H__
 All Classes Namespaces Files Functions