![]() |
Vcsn
2.1
Be Rational
|
From an automaton, the corresponding automaton with a non-word labelset. More...
#include <letterize.hh>
Public Types | |
using | in_automaton_t = In_Aut |
using | in_ctx_t = context_t_of< in_automaton_t > |
using | in_state_t = state_t_of< in_automaton_t > |
using | in_labelset_t = labelset_t_of< in_automaton_t > |
using | in_label_t = typename in_labelset_t::value_t |
using | in_transition_t = transition_t_of< in_automaton_t > |
using | out_automaton_t = Out_Aut |
using | out_ctx_t = context_t_of< out_automaton_t > |
using | out_state_t = state_t_of< out_automaton_t > |
using | out_labelset_t = labelset_t_of< out_automaton_t > |
using | out_label_t = typename out_labelset_t::value_t |
using | out_transition_t = transition_t_of< out_automaton_t > |
using | map_t = std::vector< out_state_t > |
Public Member Functions | |
letterizer (const in_automaton_t &in_aut, const out_labelset_t &ls) | |
out_automaton_t | letterize () |
Protected Attributes | |
in_automaton_t | in_aut_ |
out_automaton_t | out_aut_ |
map_t | state_map_ |
From an automaton, the corresponding automaton with a non-word labelset.
Definition at line 23 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_automaton_t = In_Aut |
Definition at line 26 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_ctx_t = context_t_of<in_automaton_t> |
Definition at line 27 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_label_t = typename in_labelset_t::value_t |
Definition at line 30 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_labelset_t = labelset_t_of<in_automaton_t> |
Definition at line 29 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_state_t = state_t_of<in_automaton_t> |
Definition at line 28 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::in_transition_t = transition_t_of<in_automaton_t> |
Definition at line 31 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::map_t = std::vector<out_state_t> |
Definition at line 41 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_automaton_t = Out_Aut |
Definition at line 33 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_ctx_t = context_t_of<out_automaton_t> |
Definition at line 34 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_label_t = typename out_labelset_t::value_t |
Definition at line 37 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_labelset_t = labelset_t_of<out_automaton_t> |
Definition at line 36 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_state_t = state_t_of<out_automaton_t> |
Definition at line 35 of file letterize.hh.
using vcsn::detail::letterizer< In_Aut, Out_Aut >::out_transition_t = transition_t_of<out_automaton_t> |
Definition at line 38 of file letterize.hh.
|
inline |
Definition at line 43 of file letterize.hh.
|
inline |
Definition at line 49 of file letterize.hh.
References vcsn::detail::letterizer< In_Aut, Out_Aut >::in_aut_, vcsn::detail::letterizer< In_Aut, Out_Aut >::out_aut_, and vcsn::detail::letterizer< In_Aut, Out_Aut >::state_map_.
|
protected |
Definition at line 94 of file letterize.hh.
Referenced by vcsn::detail::letterizer< In_Aut, Out_Aut >::letterize().
|
protected |
Definition at line 95 of file letterize.hh.
Referenced by vcsn::detail::letterizer< In_Aut, Out_Aut >::letterize().
|
protected |
Definition at line 96 of file letterize.hh.
Referenced by vcsn::detail::letterizer< In_Aut, Out_Aut >::letterize().