Vcsn  2.4
Be Rational
is-synchronized.hh File Reference
#include <stack>
#include <vector>
#include <unordered_map>
#include <boost/bimap.hpp>
#include <boost/bimap/unordered_set_of.hpp>
#include <vcsn/algos/fwd.hh>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/automaton.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/misc/bimap.hh>
#include <vcsn/misc/pair.hh>
#include <vcsn/misc/tuple.hh>
#include <vcsn/misc/unordered_map.hh>
Include dependency graph for is-synchronized.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...
 
class  vcsn::detail::synchronize_checker< Aut >
 

Namespaces

 vcsn
 
 vcsn::detail
 
 vcsn::dyn
 
 vcsn::dyn::detail
 

Functions

template<Automaton Aut>
bool vcsn::detail::is_synchronized (const Aut &aut)
 
template<Automaton Aut>
delay_automaton< Aut > vcsn::detail::make_delay_automaton (const Aut &aut)
 
template<Automaton Aut>
bool vcsn::is_synchronized (const Aut &aut)
 Check whether the transducer is synchronized. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_synchronized (const automaton &aut)
 Bridge. More...
 
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...