DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Event.hh>
Public Attributes | |
unsigned | _id |
string | _label |
string | _nickname |
unsigned Diades::Automata::EventData::_id |
Definition at line 39 of file Event.hh.
Referenced by Diades::Automata::Event::dataMemoryUsage(), and Diades::Automata::Event::id().
string Diades::Automata::EventData::_label |
Definition at line 40 of file Event.hh.
Referenced by Diades::Automata::Event::dataMemoryUsage().
string Diades::Automata::EventData::_nickname |
Definition at line 41 of file Event.hh.
Referenced by Diades::Automata::Event::dataMemoryUsage(), Diades::Automata::Event::nickname(), and Diades::Automata::Event::setNickname().