Vcsn
2.3
Be Rational
|
#include <vector>
#include <vcsn/core/automaton-decorator.hh>
#include <vcsn/core/mutable-automaton.hh>
#include <vcsn/core/transition-map.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/misc/map.hh>
#include <vcsn/misc/pair.hh>
#include <vcsn/misc/unordered_map.hh>
#include <vcsn/misc/zip-maps.hh>
Go to the source code of this file.
Classes | |
class | vcsn::detail::pair_automaton_impl< Aut > |
The pair automaton is used by several algorithms for synchronizing words. More... | |
Namespaces | |
vcsn | |
vcsn::detail | |
vcsn::dyn | |
vcsn::dyn::detail | |
Typedefs | |
template<Automaton Aut> | |
using | vcsn::pair_automaton = std::shared_ptr< detail::pair_automaton_impl< Aut >> |
Functions | |
template<Automaton Aut> | |
pair_automaton< Aut > | vcsn::pair (const Aut &aut, bool keep_initials=false) |
template<Automaton Aut, typename > | |
automaton | vcsn::dyn::detail::pair (const automaton &aut, bool keep_initials) |
Bridge. More... | |