![]() |
Awali
Another Weighted Automata library
|
adapter of std::less to wrap less_than method of valuesets More...
#include <map.hh>
Public Types | |
| using | value_t = typename valueset_t::value_t |
| using | valueset_t = ValueSet |
Public Member Functions | |
| bool | operator() (const value_t &lhs, const value_t &rhs) const |
adapter of std::less to wrap less_than method of valuesets
| using awali::sttc::internal::less< ValueSet >::value_t = typename valueset_t::value_t |
| using awali::sttc::internal::less< ValueSet >::valueset_t = ValueSet |
| bool awali::sttc::internal::less< ValueSet >::operator() | ( | const value_t & | lhs, |
| const value_t & | rhs | ||
| ) | const |