#include <Event.hh>

Detailed Description

This class implements the content of an Event (data associated to an Event). Basically, it is a name (Label) and possibly a nickname (Label).

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

/home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/Event.hh