DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <Candidate.hh>
Public Member Functions | |
size_t | operator() (const Diades::Automata::Candidate &candidate) const |
hash function of a Candidate: ugly
Definition at line 281 of file Candidate.hh.
|
inline |
Definition at line 283 of file Candidate.hh.
References Diades::Automata::Candidate::toString().