DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | List of all members
std::hash< Diades::Automata::Event > Struct Template Reference

#include <Event.hh>

Public Member Functions

size_t operator() (const Diades::Automata::Event &e) const
 

Detailed Description

template<>
struct std::hash< Diades::Automata::Event >

Definition at line 332 of file Event.hh.

Member Function Documentation

◆ operator()()

size_t std::hash< Diades::Automata::Event >::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().


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