![]() |
Awali
Another Weighted Automata library
|
This is useful to make hashes with labels or weights as keys without using non-default constructors; to be used along with utils::hash. More...
#include <hash.hh>
Public Types | |
using | value_t = typename valueset_t::value_t |
using | valueset_t = ValueSet |
Public Member Functions | |
bool | operator() (const value_t &v1, const value_t &v2) const |
This is useful to make hashes with labels or weights as keys without using non-default constructors; to be used along with utils::hash.
using awali::utils::equal_to< ValueSet >::value_t = typename valueset_t::value_t |
using awali::utils::equal_to< ValueSet >::valueset_t = ValueSet |
bool awali::utils::equal_to< ValueSet >::operator() | ( | const value_t & | v1, |
const value_t & | v2 | ||
) | const |