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

#include <Event.hh>

Public Member Functions

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

Detailed Description

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

Definition at line 180 of file Event.hh.

Member Function Documentation

size_t std::hash< Diades::Petri::Event >::operator() ( const Diades::Petri::Event e) const
inline

Definition at line 181 of file Event.hh.

References Diades::Petri::Event::id().


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