wb_channels Struct Reference

UPPAAL style synchronisation channels. More...

#include <wb_channels.h>

Inheritance diagram for wb_channels:

Collaboration diagram for wb_channels:

Public Member Functions
	ARRAY_PROPERTY (uint8_t, channels,(sizeof(gu_simple_message))) wb_channels()

Detailed Description

UPPAAL style synchronisation channels.

Implemented as a bit vector, 1-bit per channel.

Definition at line 80 of file wb_channels.h.

Member Function Documentation

ARRAY_PROPERTY()

wb_channels::ARRAY_PROPERTY ( uint8_t  , channels  , (sizeof(gu_simple_message))    )

inline

Definition at line 83 of file wb_channels.h.

---

The documentation for this struct was generated from the following file:

• typeClassDefs/wb_channels.h