![]() |
Vcsn
2.1
Be Rational
|
#include <stack>
#include <vector>
#include <unordered_map>
#include <vcsn/algos/fwd.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/misc/pair.hh>
#include <vcsn/misc/tuple.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... | |
class | vcsn::detail::synchronize_checker< Aut > |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Functions | |
template<typename Aut > | |
bool | vcsn::detail::is_synchronized (const Aut &aut) |
template<typename Aut > | |
delay_automaton< Aut > | vcsn::detail::make_delay_automaton (const Aut &aut) |
template<typename Aut > | |
bool | vcsn::is_synchronized (const Aut &aut) |
Check whether the transducer is synchronized. More... | |
template<typename Aut > | |
bool | vcsn::dyn::detail::is_synchronized (const automaton &aut) |
Bridge. More... | |
template<typename Aut > | |
auto | vcsn::make_delay_automaton (const Aut &aut) -> decltype(detail::make_delay_automaton(aut)) |
Check whether the transducer is synchronized. More... | |
template<typename Aut > | |
automaton | vcsn::dyn::detail::delay_automaton (const automaton &aut) |
Bridge. More... | |