![]() |
Vcsn
2.1
Be Rational
|
#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 <vcsn/misc/algorithm.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::letterizer< In_Aut, Out_Aut > |
From an automaton, the corresponding automaton with a non-word labelset. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Typedefs | |
template<typename Aut > | |
using | vcsn::detail::letterized_ls = letterized_traits< labelset_t_of< Aut >> |
Functions | |
template<typename Aut > | |
vcsn::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<typename Aut > | |
vcsn::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<typename Aut > | |
auto | vcsn::letterize (const Aut &aut) -> decltype(detail::letterize(aut)) |
Split the word transitions in the input automaton into letter ones. More... | |
template<typename Aut > | |
automaton | vcsn::dyn::detail::letterize (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
vcsn::enable_if_t<!is_letterized_t< labelset_t_of< Aut > >{}, bool > | vcsn::detail::is_letterized (const Aut &aut) |
template<typename Aut > | |
vcsn::enable_if_t< is_letterized_t< labelset_t_of< Aut > >{}, bool > | vcsn::detail::is_letterized (const Aut &) |
template<typename Aut > | |
bool | vcsn::is_letterized (const Aut &aut) |
Check if the transitions are all letters. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_letterized (const automaton &aut) |
Bridge. More... | |
template<typename 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<typename Aut > | |
automaton | vcsn::dyn::detail::realtime (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
bool | vcsn::is_realtime (const Aut &aut) |
Check if the automaton is realtime, i.e. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_realtime (const automaton &aut) |
Bridge. More... | |