DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Component.hh>
Public Member Functions | |
GetEvent (const Component &component) | |
const Event & | operator() (Transition t) const |
Public Attributes | |
const Component & | _comp |
Definition at line 1412 of file Component.hh.
|
inline |
Definition at line 1415 of file Component.hh.
|
inline |
Definition at line 1416 of file Component.hh.
References Diades::Automata::Component::getEvent().
const Component& Diades::Automata::GetEvent::_comp |
Definition at line 1414 of file Component.hh.