![]() |
Vcsn
2.3a
Be Rational
|
#include <vcsn/algos/accessible.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/labelset/labelset.hh>
Go to the source code of this file.
Namespaces | |
vcsn | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<Automaton Aut> | |
Aut & | vcsn::suffix_here (Aut &aut) |
Make all accessible states initial. More... | |
template<Automaton Aut> | |
auto | vcsn::suffix (const Aut &aut) -> decltype(::vcsn::copy(aut)) |
template<Automaton Aut> | |
automaton | vcsn::dyn::detail::suffix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
Aut & | vcsn::prefix_here (Aut &aut) |
Make all coaccessible states final. More... | |
template<Automaton Aut> | |
auto | vcsn::prefix (const Aut &aut) -> decltype(::vcsn::copy(aut)) |
template<Automaton Aut> | |
automaton | vcsn::dyn::detail::prefix (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
Aut & | vcsn::factor_here (Aut &aut) |
Make each useful state both initial and final. More... | |
template<Automaton Aut> | |
auto | vcsn::factor (const Aut &aut) -> decltype(::vcsn::copy(aut)) |
template<Automaton Aut> | |
automaton | vcsn::dyn::detail::factor (const automaton &aut) |
Bridge. More... | |
template<Automaton Aut> | |
Aut & | vcsn::subword_here (Aut &aut) |
Add spontaneous transitions for each non spontaneous transition, with same source, destination and weight. More... | |
template<Automaton Aut> | |
auto | vcsn::subword (const Aut &aut) -> decltype(make_nullable_automaton(aut->context())) |
Apply subword_here() to a copy of aut. More... | |
template<Automaton Aut> | |
automaton | vcsn::dyn::detail::subword (const automaton &aut) |
Bridge. More... | |