Vcsn  2.8
Be Rational
Public Types | Static Public Member Functions | List of all members
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 constexpr bool is_letterized ()
 
static std::ostream & print (value_t v, std::ostream &out=std::cout, format={})
 
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

◆ kind_t

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

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

◆ value_t

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

◆ equal()

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

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

◆ hash()

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

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

References vcsn::detail::hash_value().

Here is the call graph for this function:

◆ is_letterized()

template<Automaton Aut>
static constexpr bool vcsn::detail::minimizer< Aut, weighted_tag >::classset::is_letterized ( )
inlinestatic

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

◆ less()

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

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

◆ print()

template<Automaton Aut>
static std::ostream& vcsn::detail::minimizer< Aut, weighted_tag >::classset::print ( value_t  v,
std::ostream &  out = std::cout,
format  = {} 
)
inlinestatic

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

References vcsn::detail::out(), and vcsn::detail::v.

Here is the call graph for this function:
The documentation for this struct was generated from the following file: