std::hash< Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > > Struct Template Reference

#include <LocalCandidate.hh>

Public Member Functions
size_t	operator() (Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > const &candidate) const

Detailed Description

template<typename StateProperty, typename FaultProperty>
struct std::hash< Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > >

Standard hash function hash<boost::dynamic_bitset<Block, Alloc>>

Definition at line 149 of file LocalCandidate.hh.

Member Function Documentation

operator()()

template<typename StateProperty , typename FaultProperty >

size_t std::hash< Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > >::operator() ( Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty > const &  candidate ) const

inline

Definition at line 151 of file LocalCandidate.hh.

References Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::faults(), and Diades::Automata::Experimental::LocalCandidate< StateProperty, FaultProperty >::state().

---

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

• /home/yannick/laas/redmine/tools/diades/include/diades/automata/experimental/LocalCandidate.hh