Vcsn
2.1
Be Rational
|
Dealing with class numbers. More...
Public Types | |
using | value_t = class_t |
using | kind_t = void |
Static Public Member Functions | |
static bool | equal (class_t l, class_t r) |
static bool | less (class_t l, class_t r) |
static size_t | hash (class_t s) |
Dealing with class numbers.
Definition at line 52 of file minimize-weighted.hh.
using vcsn::detail_weighted::minimizer< Aut >::classset::kind_t = void |
Definition at line 56 of file minimize-weighted.hh.
using vcsn::detail_weighted::minimizer< Aut >::classset::value_t = class_t |
Definition at line 54 of file minimize-weighted.hh.
|
inlinestatic |
Definition at line 57 of file minimize-weighted.hh.
|
inlinestatic |
Definition at line 67 of file minimize-weighted.hh.
References vcsn::hash_value().
|
inlinestatic |
Definition at line 62 of file minimize-weighted.hh.