vcsn::detail_weighted::minimizer< Aut >::signature_equal_to Class Reference

Inheritance diagram for vcsn::detail_weighted::minimizer< Aut >::signature_equal_to:

Collaboration diagram for vcsn::detail_weighted::minimizer< Aut >::signature_equal_to:

Public Member Functions
	signature_equal_to (minimizer &the_minimizer, size_t class_bound)
bool	match (const state_label_output_map_t &a, const state_label_output_map_t &b) const noexcept
void	first (const state_output_t &v, typename state_output_t::const_iterator &i, state_label_output_map_t &map) const
	Update the iterator to point to the first non-empty state_output_for_label_t or v.cend(), and update the map to be the one associated to *i, or empty. More...
void	next (const state_output_t &v, typename state_output_t::const_iterator &i, state_label_output_map_t &map) const
	Update the iterator to point to the next non-empty state_output_for_label_t or v.cend(), and update the map to be the one associated to *i, or empty. More...
bool	operator() (const state_output_t *as_, const state_output_t *bs_) const noexcept

Private Attributes
minimizer &	minimizer_
const size_t	class_bound_

Detailed Description

template<typename Aut>
class vcsn::detail_weighted::minimizer< Aut >::signature_equal_to

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

Constructor & Destructor Documentation

template<typename Aut>

vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::signature_equal_to ( minimizer &  the_minimizer, size_t  class_bound  )

inline

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

Member Function Documentation

template<typename Aut>

void vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::first ( const state_output_t &  v, typename state_output_t::const_iterator &  i, state_label_output_map_t &  map  ) const

inline

Update the iterator to point to the first non-empty state_output_for_label_t or v.cend(), and update the map to be the one associated to *i, or empty.

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

template<typename Aut>

bool vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::match ( const state_label_output_map_t &  a, const state_label_output_map_t &  b  ) const

inlinenoexcept

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

template<typename Aut>

void vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::next ( const state_output_t &  v, typename state_output_t::const_iterator &  i, state_label_output_map_t &  map  ) const

inline

Update the iterator to point to the next non-empty state_output_for_label_t or v.cend(), and update the map to be the one associated to *i, or empty.

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

template<typename Aut>

bool vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::operator() ( const state_output_t *  as_, const state_output_t *  bs_  ) const

inlinenoexcept

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

Member Data Documentation

template<typename Aut>

const size_t vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::class_bound_

private

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

template<typename Aut>

minimizer& vcsn::detail_weighted::minimizer< Aut >::signature_equal_to::minimizer_

private

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

---

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

• vcsn/algos/minimize-weighted.hh