![]() |
libsesstype
2.0.0
Library for Session Types programming.
|
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__