vcsn::detail::sorter< Aut > Class Template Reference

A function to sort an automaton. More...

#include <sort.hh>

Collaboration diagram for vcsn::detail::sorter< Aut >:

Public Member Functions
	sorter (const input_automaton_t &a)
automaton_t	operator() ()

Private Types
using	input_automaton_t = Aut
	Input automaton type. More...
using	input_state_t = state_t_of< input_automaton_t >
using	input_transition_t = transition_t_of< input_automaton_t >
using	automaton_t = permutation_automaton< input_automaton_t >
	Result automaton type. More...
using	state_t = state_t_of< automaton_t >

Private Member Functions
void	visit_and_update_res_ ()
void	visit_successors_of_ (input_state_t s, state_t res_s)
void	push_inaccessible_states_ ()

Private Attributes
automaton_t	res_
	Sorted automaton. More...
const labelset_t_of< input_automaton_t > &	ls_ = *res_->input_->labelset()
const weightset_t_of< input_automaton_t > &	ws_ = *res_->input_->weightset()

Detailed Description

template<Automaton Aut>
class vcsn::detail::sorter< Aut >

A function to sort an automaton.

Definition at line 91 of file sort.hh.

Member Typedef Documentation

automaton_t

template<Automaton Aut>

using vcsn::detail::sorter< Aut >::automaton_t = permutation_automaton<input_automaton_t>

private

Result automaton type.

Definition at line 100 of file sort.hh.

input_automaton_t

template<Automaton Aut>

using vcsn::detail::sorter< Aut >::input_automaton_t = Aut

private

Input automaton type.

Definition at line 94 of file sort.hh.

input_state_t

template<Automaton Aut>

using vcsn::detail::sorter< Aut >::input_state_t = state_t_of<input_automaton_t>

private

Definition at line 96 of file sort.hh.

input_transition_t

template<Automaton Aut>

using vcsn::detail::sorter< Aut >::input_transition_t = transition_t_of<input_automaton_t>

private

Definition at line 97 of file sort.hh.

state_t

template<Automaton Aut>

using vcsn::detail::sorter< Aut >::state_t = state_t_of<automaton_t>

private

Definition at line 101 of file sort.hh.

Constructor & Destructor Documentation

sorter()

template<Automaton Aut>

vcsn::detail::sorter< Aut >::sorter ( const input_automaton_t &  a )

inline

Definition at line 104 of file sort.hh.

Member Function Documentation

operator()()

template<Automaton Aut>

automaton_t vcsn::detail::sorter< Aut >::operator() ( )

inline

Definition at line 108 of file sort.hh.

push_inaccessible_states_()

template<Automaton Aut>

void vcsn::detail::sorter< Aut >::push_inaccessible_states_ ( )

inlineprivate

Definition at line 144 of file sort.hh.

visit_and_update_res_()

template<Automaton Aut>

void vcsn::detail::sorter< Aut >::visit_and_update_res_ ( )

inlineprivate

Definition at line 117 of file sort.hh.

visit_successors_of_()

template<Automaton Aut>

void vcsn::detail::sorter< Aut >::visit_successors_of_ ( input_state_t  s, state_t  res_s  )

inlineprivate

Definition at line 127 of file sort.hh.

References vcsn::detail::all_out(), and vcsn::dyn::detail::sort().

Here is the call graph for this function:

Member Data Documentation

ls_

template<Automaton Aut>

const labelset_t_of<input_automaton_t>& vcsn::detail::sorter< Aut >::ls_ = *res_->input_->labelset()

private

Definition at line 154 of file sort.hh.

res_

template<Automaton Aut>

automaton_t vcsn::detail::sorter< Aut >::res_

private

Sorted automaton.

Definition at line 153 of file sort.hh.

ws_

template<Automaton Aut>

const weightset_t_of<input_automaton_t>& vcsn::detail::sorter< Aut >::ws_ = *res_->input_->weightset()

private

Definition at line 155 of file sort.hh.

---

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

• vcsn/algos/sort.hh