#include <minimize-weighted.hh>

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

Classes
struct	classset
	Dealing with class numbers. More...

struct	signature_equal_to

struct	signature_hasher

Public Member Functions
	minimizer (const Aut &a)

class_to_set_t &	classes ()
	The minimized automaton. More...

void	build_classes_ ()
	Build the initial classes, and split until fix point. More...

Public Attributes
automaton_t	a_
	Input automaton, supplied at construction time. More...

const labelset_t &	ls_ = *a_->labelset()

const weightset_t &	ws_ = *a_->weightset()

unsigned	num_classes_ = 0

class_to_set_t	class_to_set_

state_to_class_t	state_to_class_

class_polynomialset_t	cps_ {{classset{}, ws_}}
	Class polynomialset. More...

Private Types
using	automaton_t = Aut

using	labelset_t = labelset_t_of< automaton_t >

using	weightset_t = weightset_t_of< automaton_t >

using	label_t = label_t_of< automaton_t >

using	weight_t = weight_t_of< automaton_t >

using	state_t = state_t_of< automaton_t >

using	class_t = unsigned

using	set_t = std::vector< state_t >

using	state_to_class_t = std::unordered_map< state_t, class_t >

using	class_to_set_t = std::vector< set_t >

using	class_polynomialset_t = polynomialset< context< classset, weightset_t > >
	The output of a given letter from a given state, keeping into account classes and weights. More...

using	class_polynomial_t = typename class_polynomialset_t::value_t

using	signature_t = std::map< label_t, class_polynomial_t >
	A signature: for each label, the outgoing class polynomial. More...

using	signature_multimap = std::unordered_map< signature_t, set_t, signature_hasher, signature_equal_to >
	Cluster states per signature. More...

Private Member Functions
signature_t	signature (state_t s) const
	The signature of state s. More...

void	clear ()

class_t	make_class (set_t &&set, class_t number=class_invalid)
	Make a new class with the given set of states. More...

Static Private Member Functions
static constexpr const char *	me ()

Static Private Attributes
static constexpr class_t	class_invalid = -1
	An invalid class. More...

Detailed Description

template<Automaton Aut>
class vcsn::detail::minimizer< Aut, weighted_tag >

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

Member Typedef Documentation

◆ automaton_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::automaton_t = Aut

private

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

◆ class_polynomial_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::class_polynomial_t = typename class_polynomialset_t::value_t

private

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

◆ class_polynomialset_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::class_polynomialset_t = polynomialset<context<classset, weightset_t> >

private

The output of a given letter from a given state, keeping into account classes and weights.

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

◆ class_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::class_t = unsigned

private

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

◆ class_to_set_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::class_to_set_t = std::vector<set_t>

private

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

◆ label_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::label_t = label_t_of<automaton_t>

private

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

◆ labelset_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::labelset_t = labelset_t_of<automaton_t>

private

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

◆ set_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::set_t = std::vector<state_t>

private

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

◆ signature_multimap

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::signature_multimap = std::unordered_map<signature_t, set_t, signature_hasher, signature_equal_to>

private

Cluster states per signature.

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

◆ signature_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::signature_t = std::map<label_t, class_polynomial_t>

private

A signature: for each label, the outgoing class polynomial.

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

◆ state_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::state_t = state_t_of<automaton_t>

private

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

◆ state_to_class_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::state_to_class_t = std::unordered_map<state_t, class_t>

private

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

◆ weight_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::weight_t = weight_t_of<automaton_t>

private

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

◆ weightset_t

template<Automaton Aut>

using vcsn::detail::minimizer< Aut, weighted_tag >::weightset_t = weightset_t_of<automaton_t>

private

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

Constructor & Destructor Documentation

◆ minimizer()

template<Automaton Aut>

vcsn::detail::minimizer< Aut, weighted_tag >::minimizer ( const Aut & a )

inline

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

References vcsn::is_trim(), and vcsn::require().

Here is the call graph for this function:

Member Function Documentation

◆ build_classes_()

template<Automaton Aut>

void vcsn::detail::minimizer< Aut, weighted_tag >::build_classes_ ( )

inline

Build the initial classes, and split until fix point.

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

References vcsn::all().

Here is the call graph for this function:

◆ classes()

template<Automaton Aut>

class_to_set_t& vcsn::detail::minimizer< Aut, weighted_tag >::classes ( )

inline

The minimized automaton.

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

◆ clear()

template<Automaton Aut>

void vcsn::detail::minimizer< Aut, weighted_tag >::clear ( )

inlineprivate

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

◆ make_class()

template<Automaton Aut>

class_t vcsn::detail::minimizer< Aut, weighted_tag >::make_class	(	set_t &&	set,
		class_t	number = `class_invalid`
	)

inlineprivate

Make a new class with the given set of states.

Parameters

set	the states belonging to this class
number	the class number to use. If class_invalid, allocate one.

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

◆ me()

template<Automaton Aut>

static constexpr const char* vcsn::detail::minimizer< Aut, weighted_tag >::me ( )

inlinestaticprivate

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

◆ signature()

template<Automaton Aut>

signature_t vcsn::detail::minimizer< Aut, weighted_tag >::signature ( state_t s ) const

inlineprivate

The signature of state s.

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

References vcsn::detail::all_out(), and vcsn::res.

Here is the call graph for this function:

Member Data Documentation

◆ a_

template<Automaton Aut>

automaton_t vcsn::detail::minimizer< Aut, weighted_tag >::a_

Input automaton, supplied at construction time.

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

◆ class_invalid

template<Automaton Aut>

constexpr class_t vcsn::detail::minimizer< Aut, weighted_tag >::class_invalid = -1

staticprivate

An invalid class.

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

◆ class_to_set_

template<Automaton Aut>

class_to_set_t vcsn::detail::minimizer< Aut, weighted_tag >::class_to_set_

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

◆ cps_

template<Automaton Aut>

class_polynomialset_t vcsn::detail::minimizer< Aut, weighted_tag >::cps_ {{classset{}, ws_}}

Class polynomialset.

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

◆ ls_

template<Automaton Aut>

const labelset_t& vcsn::detail::minimizer< Aut, weighted_tag >::ls_ = *a_->labelset()

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

◆ num_classes_

template<Automaton Aut>

unsigned vcsn::detail::minimizer< Aut, weighted_tag >::num_classes_ = 0

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

◆ state_to_class_

template<Automaton Aut>

state_to_class_t vcsn::detail::minimizer< Aut, weighted_tag >::state_to_class_

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

◆ ws_

template<Automaton Aut>

const weightset_t& vcsn::detail::minimizer< Aut, weighted_tag >::ws_ = *a_->weightset()

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

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

vcsn/algos/minimize-weighted.hh

Classes

Public Member Functions

Public Attributes

Private Types

Private Member Functions

Static Private Member Functions

Static Private Attributes

Detailed Description

template<Automaton Aut> class vcsn::detail::minimizer< Aut, weighted_tag >

Member Typedef Documentation

◆ automaton_t

◆ class_polynomial_t

◆ class_polynomialset_t

◆ class_t

◆ class_to_set_t

◆ label_t

◆ labelset_t

◆ set_t

◆ signature_multimap

◆ signature_t

◆ state_t

◆ state_to_class_t

◆ weight_t

◆ weightset_t

Constructor & Destructor Documentation

◆ minimizer()

Member Function Documentation

◆ build_classes_()

◆ classes()

◆ clear()

◆ make_class()

◆ me()

◆ signature()

Member Data Documentation

◆ a_

◆ class_invalid

◆ class_to_set_

◆ cps_

◆ ls_

◆ num_classes_

◆ state_to_class_

◆ ws_

template<Automaton Aut>
class vcsn::detail::minimizer< Aut, weighted_tag >