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 |