DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Public Attributes | List of all members
Diades::Automata::GetEvent Struct Reference

#include <Component.hh>

Public Member Functions

 GetEvent (const Component &component)
 
const Eventoperator() (Transition t) const
 

Public Attributes

const Component_comp
 

Detailed Description

Definition at line 1412 of file Component.hh.

Constructor & Destructor Documentation

◆ GetEvent()

Diades::Automata::GetEvent::GetEvent ( const Component component)
inline

Definition at line 1415 of file Component.hh.

Member Function Documentation

◆ operator()()

const Event& Diades::Automata::GetEvent::operator() ( Transition  t) const
inline

Definition at line 1416 of file Component.hh.

References Diades::Automata::Component::getEvent().

Member Data Documentation

◆ _comp

const Component& Diades::Automata::GetEvent::_comp

Definition at line 1414 of file Component.hh.


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