Vcsn  2.3
Be Rational
vcsn::detail::minimizer< Aut, weighted_tag >::classset Struct Reference

Dealing with class numbers. More...

Collaboration diagram for vcsn::detail::minimizer< Aut, weighted_tag >::classset:

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)
 

Detailed Description

template<Automaton Aut>
struct vcsn::detail::minimizer< Aut, weighted_tag >::classset

Dealing with class numbers.

Definition at line 42 of file minimize-weighted.hh.

Member Typedef Documentation

template<Automaton Aut>
using vcsn::detail::minimizer< Aut, weighted_tag >::classset::kind_t = void

Definition at line 46 of file minimize-weighted.hh.

template<Automaton Aut>
using vcsn::detail::minimizer< Aut, weighted_tag >::classset::value_t = class_t

Definition at line 44 of file minimize-weighted.hh.

Member Function Documentation

template<Automaton Aut>
static bool vcsn::detail::minimizer< Aut, weighted_tag >::classset::equal ( class_t  l,
class_t  r 
)
inlinestatic

Definition at line 47 of file minimize-weighted.hh.

template<Automaton Aut>
static size_t vcsn::detail::minimizer< Aut, weighted_tag >::classset::hash ( class_t  s)
inlinestatic

Definition at line 57 of file minimize-weighted.hh.

References vcsn::detail::hash_value().

Here is the call graph for this function:

template<Automaton Aut>
static bool vcsn::detail::minimizer< Aut, weighted_tag >::classset::less ( class_t  l,
class_t  r 
)
inlinestatic

Definition at line 52 of file minimize-weighted.hh.


The documentation for this struct was generated from the following file: