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...