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::equal_to. More...
#include <hash.hh>
Public Types | |
using | argument_type = value_t |
using | result_type = std::size_t |
using | value_t = typename valueset_t::value_t |
using | valueset_t = ValueSet |
Public Member Functions | |
std::size_t | operator() (const value_t &v) const |
This is useful to make hashes with labels or weights as keys without using non-default constructors; to be used along with utils::equal_to.
using awali::utils::hash< ValueSet >::argument_type = value_t |
using awali::utils::hash< ValueSet >::result_type = std::size_t |
using awali::utils::hash< ValueSet >::value_t = typename valueset_t::value_t |
using awali::utils::hash< ValueSet >::valueset_t = ValueSet |
std::size_t awali::utils::hash< ValueSet >::operator() | ( | const value_t & | v | ) | const |