DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Event.hh>
Public Member Functions | |
size_t | operator() (const Diades::Automata::Event &e) const |
|
inline |
Definition at line 334 of file Event.hh.
References Diades::Automata::Event::id(), and Diades::Automata::Event::isValid().