Vcsn  2.3
Be Rational
letterize.hh File Reference
#include <iterator>
#include <vcsn/algos/proper.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/labelset/labelset.hh>
Include dependency graph for letterize.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::detail::letterizer< AutIn, AutOut >
 From an automaton, the corresponding automaton with a non-word labelset. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Typedefs

template<Automaton Aut>
using vcsn::detail::letterized_ls = letterized_traits< labelset_t_of< Aut >>
 

Functions

template<Automaton Aut>
std::enable_if_t<!is_letterized_t< labelset_t_of< Aut > >{}, mutable_automaton< letterized_context< context_t_of< Aut > > > > vcsn::detail::letterize (const Aut &aut)
 Letterize an automaton whose type is not letterized already. More...
 
template<Automaton Aut>
std::enable_if_t< is_letterized_t< labelset_t_of< Aut > >{}, const Aut & > vcsn::detail::letterize (const Aut &aut)
 Letterize an automaton whose type is letterized: do nothing. More...
 
template<Automaton Aut>
auto vcsn::letterize (const Aut &aut) -> decltype(detail::letterize(aut))
 Split the word transitions in the input automaton into letter ones. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::letterize (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
std::enable_if_t<!is_letterized_t< labelset_t_of< Aut > >{}, bool > vcsn::detail::is_letterized (const Aut &aut)
 
template<Automaton Aut>
std::enable_if_t< is_letterized_t< labelset_t_of< Aut > >{}, bool > vcsn::detail::is_letterized (const Aut &)
 
template<Automaton Aut>
bool vcsn::is_letterized (const Aut &aut)
 Check if the transitions are all letters. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_letterized (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
auto vcsn::realtime (const Aut &aut) -> decltype(proper(::vcsn::letterize(aut)))
 Split the word transitions in the input automaton into letter ones, and remove the spontaneous transitions. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::realtime (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::is_realtime (const Aut &aut)
 Check if the automaton is realtime, i.e. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_realtime (const automaton &aut)
 Bridge. More...