Vcsn  2.3
Be Rational
synchronize.hh File Reference
#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>
Include dependency graph for synchronize.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<Automaton Aut>
using vcsn::detail::fresh_worded_automaton_t = fresh_automaton_t_of< typename worded_automaton< Aut >::automaton_t >
 
template<Automaton Aut>
using vcsn::detail::synchronized_automaton = std::shared_ptr< synchronized_automaton_impl< Aut >>
 

Functions

template<Automaton Aut>
synchronizer< Aut >::out_automaton_t vcsn::detail::synchronize (const Aut &aut)
 
template<Automaton Aut>
auto vcsn::synchronize (const Aut &aut) -> decltype(detail::synchronize(aut))
 Synchronize the transducer. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::synchronize (const automaton &aut)
 Bridge. More...