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...