![]() |
Vcsn
2.1
Be Rational
|
#include <stack>
#include <unordered_map>
#include <vcsn/algos/fwd.hh>
#include <vcsn/algos/letterize.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/pair.hh>
#include <vcsn/misc/unordered_map.hh>
Go to the source code of this file.
Classes | |
struct | vcsn::detail::worded_automaton< Aut > |
struct | vcsn::detail::worded_automaton< Aut >::worded_labelset< Dummy > |
struct | vcsn::detail::worded_automaton< Aut >::worded_labelset< tupleset< LabelSet...> > |
class | vcsn::detail::synchronized_automaton_impl< Aut > |
An automaton whose states may be qualified by delays and/or prefixes. More... | |
class | vcsn::detail::synchronizer< Aut > |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Typedefs | |
template<typename Aut > | |
using | vcsn::detail::fresh_worded_automaton_t = fresh_automaton_t_of< typename worded_automaton< Aut >::automaton_t > |
template<typename Aut > | |
using | vcsn::detail::synchronized_automaton = std::shared_ptr< synchronized_automaton_impl< Aut >> |
Functions | |
template<typename Aut > | |
synchronizer< Aut >::out_automaton_t | vcsn::detail::synchronize (const Aut &aut) |
template<typename Aut > | |
auto | vcsn::synchronize (const Aut &aut) -> decltype(detail::synchronize(aut)) |
Synchronize the transducer. More... | |
template<typename Aut > | |
automaton | vcsn::dyn::detail::synchronize (const automaton &aut) |
Bridge. More... | |