libsesstype  2.0.0
Library for Session Types programming.
cond.h
00001 #ifndef SESSTYPE__PARAMETERISED__COND_H__
00002 #define SESSTYPE__PARAMETERISED__COND_H__
00003 
00004 #include "sesstype/parameterised/role.h"
00005 
00006 #ifdef __cplusplus
00007 namespace sesstype {
00008 namespace parameterised {
00009 #endif
00010 
00011 #ifdef __cplusplus
00012 extern "C" {
00013 #endif
00014 
00015 #ifdef __cplusplus
00016 typedef sesstype::parameterised::Role MsgCond;
00017 typedef sesstype::parameterised::st_param_role st_cond;
00018 #else
00019 typedef struct Role MsgCond;
00020 typedef st_param_role st_cond;
00021 #endif
00022 
00023 #ifdef __cplusplus
00024 } // extern "C"
00025 #endif
00026 
00027 #ifdef __cplusplus
00028 } // namespace parameterised
00029 } // namespace sesstype
00030 #endif
00031 
00032 #endif//SESSTYPE__PARAMETERISED__COND_H__
 All Classes Namespaces Files Functions