64#define CHANNELS_BYTES (sizeof(gu_simple_message))
65#define CHANNELS_COUNT (CHANNELS_BYTES*8)
68#define CHANNEL_SEND(s, n) ( (s)->_channels[(n)/8] |= (1<<((n)%8)) )
71#define CHANNEL_CLEAR(s, n) ( (s)->_channels[(n)/8] &= ~(1<<((n)%8)) )
74#define CHANNEL_WAITING(s, n) ( ((s)->_channels[(n)/8] & (1<<((n)%8))) != 0 )
UPPAAL style synchronisation channels.
ARRAY_PROPERTY(uint8_t, channels,(sizeof(gu_simple_message))) wb_channels()
#define CHANNELS_BYTES
message size