![]() |
Vcsn
2.2a
Be Rational
|
#include <stack>#include <vector>#include <boost/bimap.hpp>#include <boost/bimap/unordered_set_of.hpp>#include <vcsn/algos/fwd.hh>#include <vcsn/ctx/context.hh>#include <vcsn/dyn/automaton.hh>#include <vcsn/misc/bimap.hh>#include <vcsn/misc/pair.hh>#include <vcsn/misc/unordered_map.hh>Go to the source code of this file.
Classes | |
| class | vcsn::detail::delay_automaton_impl< Aut > |
| An automaton whose states may be qualified by delays and/or prefixes. More... | |
Namespaces | |
| vcsn | |
| vcsn::detail | |
| vcsn::dyn | |
| vcsn::dyn::detail | |
Functions | |
| template<Automaton Aut> | |
| delay_automaton< Aut > | vcsn::detail::make_delay_automaton (const Aut &aut) |
| template<Automaton Aut> | |
| auto | vcsn::make_delay_automaton (const Aut &aut) -> decltype(detail::make_delay_automaton(aut)) |
| Check whether the transducer is synchronized. More... | |
| template<Automaton Aut> | |
| automaton | vcsn::dyn::detail::delay_automaton (const automaton &aut) |
| Bridge. More... | |