![]() |
Vcsn
2.3a
Be Rational
|
A function to sort an automaton. More...
#include <sort.hh>
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() |
A function to sort an automaton.
|
private |
|
private |
|
private |
|
private |
|
private |
|
inline |
|
inline |
Definition at line 108 of file sort.hh.
References vcsn::detail::sorter< Aut >::push_inaccessible_states_(), vcsn::detail::sorter< Aut >::res_, and vcsn::detail::sorter< Aut >::visit_and_update_res_().
|
inlineprivate |
Definition at line 144 of file sort.hh.
References vcsn::detail::sorter< Aut >::res_.
Referenced by vcsn::detail::sorter< Aut >::operator()().
|
inlineprivate |
Definition at line 117 of file sort.hh.
References vcsn::detail::sorter< Aut >::res_, and vcsn::detail::sorter< Aut >::visit_successors_of_().
Referenced by vcsn::detail::sorter< Aut >::operator()().
|
inlineprivate |
Definition at line 127 of file sort.hh.
References vcsn::detail::all_out(), vcsn::detail::sorter< Aut >::res_, and vcsn::dyn::detail::sort().
Referenced by vcsn::detail::sorter< Aut >::visit_and_update_res_().
|
private |
|
private |
Sorted automaton.
Definition at line 153 of file sort.hh.
Referenced by vcsn::detail::sorter< Aut >::operator()(), vcsn::detail::sorter< Aut >::push_inaccessible_states_(), vcsn::detail::sorter< Aut >::visit_and_update_res_(), and vcsn::detail::sorter< Aut >::visit_successors_of_().
|
private |