Vcsn  2.3
Be Rational
Public Types | Public Member Functions | Protected Attributes | List of all members
vcsn::detail::letterizer< AutIn, AutOut > Class Template Reference

From an automaton, the corresponding automaton with a non-word labelset. More...

#include <letterize.hh>

Collaboration diagram for vcsn::detail::letterizer< AutIn, AutOut >:

Public Types

using in_automaton_t = AutIn
 
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 = AutOut
 
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_
 

Detailed Description

template<Automaton AutIn, Automaton AutOut>
class vcsn::detail::letterizer< AutIn, AutOut >

From an automaton, the corresponding automaton with a non-word labelset.

Definition at line 22 of file letterize.hh.

Member Typedef Documentation

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_automaton_t = AutIn

Definition at line 25 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_ctx_t = context_t_of<in_automaton_t>

Definition at line 26 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_label_t = typename in_labelset_t::value_t

Definition at line 29 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_labelset_t = labelset_t_of<in_automaton_t>

Definition at line 28 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_state_t = state_t_of<in_automaton_t>

Definition at line 27 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::in_transition_t = transition_t_of<in_automaton_t>

Definition at line 30 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::map_t = std::vector<out_state_t>

Definition at line 40 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_automaton_t = AutOut

Definition at line 32 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_ctx_t = context_t_of<out_automaton_t>

Definition at line 33 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_label_t = typename out_labelset_t::value_t

Definition at line 36 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_labelset_t = labelset_t_of<out_automaton_t>

Definition at line 35 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_state_t = state_t_of<out_automaton_t>

Definition at line 34 of file letterize.hh.

template<Automaton AutIn, Automaton AutOut>
using vcsn::detail::letterizer< AutIn, AutOut >::out_transition_t = transition_t_of<out_automaton_t>

Definition at line 37 of file letterize.hh.

Constructor & Destructor Documentation

template<Automaton AutIn, Automaton AutOut>
vcsn::detail::letterizer< AutIn, AutOut >::letterizer ( const in_automaton_t &  in_aut,
const out_labelset_t &  ls 
)
inline

Definition at line 42 of file letterize.hh.

Member Function Documentation

template<Automaton AutIn, Automaton AutOut>
out_automaton_t vcsn::detail::letterizer< AutIn, AutOut >::letterize ( )
inline

Definition at line 48 of file letterize.hh.

References vcsn::detail::all_out(), vcsn::detail::letterizer< AutIn, AutOut >::in_aut_, vcsn::detail::letterizer< AutIn, AutOut >::out_aut_, and vcsn::detail::letterizer< AutIn, AutOut >::state_map_.

Here is the call graph for this function:

Member Data Documentation

template<Automaton AutIn, Automaton AutOut>
in_automaton_t vcsn::detail::letterizer< AutIn, AutOut >::in_aut_
protected

Definition at line 93 of file letterize.hh.

Referenced by vcsn::detail::letterizer< AutIn, AutOut >::letterize().

template<Automaton AutIn, Automaton AutOut>
out_automaton_t vcsn::detail::letterizer< AutIn, AutOut >::out_aut_
protected

Definition at line 94 of file letterize.hh.

Referenced by vcsn::detail::letterizer< AutIn, AutOut >::letterize().

template<Automaton AutIn, Automaton AutOut>
map_t vcsn::detail::letterizer< AutIn, AutOut >::state_map_
protected

Definition at line 95 of file letterize.hh.

Referenced by vcsn::detail::letterizer< AutIn, AutOut >::letterize().

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