Vcsn  2.4
Be Rational
synchronizing-word.hh File Reference
#include <algorithm>
#include <iostream>
#include <limits>
#include <unordered_map>
#include <unordered_set>
#include <utility>
#include <vector>
#include <boost/algorithm/string.hpp>
#include <vcsn/algos/distance.hh>
#include <vcsn/algos/pair.hh>
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/context.hh>
#include <vcsn/dyn/value.hh>
#include <vcsn/labelset/labelset.hh>
#include <vcsn/misc/algorithm.hh>
#include <vcsn/misc/map.hh>
#include <vcsn/misc/pair.hh>
#include <vcsn/misc/raise.hh>
Include dependency graph for synchronizing-word.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  vcsn::detail::word_synchronizer< Aut >
 

Namespaces

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

Functions

template<Automaton Aut>
bool vcsn::is_synchronized_by (const Aut &aut, const word_t_of< Aut > &w)
 Whether w synchronizes automaton aut. More...
 
template<Automaton Aut, typename LabelSet >
bool vcsn::dyn::detail::is_synchronized_by (const automaton &aut, const label &word)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::is_synchronizing (const Aut &aut)
 Whether this automaton is synchronizing, i.e., has synchronizing words. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_synchronizing (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
word_t_of< Aut > vcsn::synchronizing_word (const Aut &aut, const std::string &algo="greedy")
 Return a synchronizing word for aut using algo algo. More...
 
template<Automaton Aut, typename String >
label vcsn::dyn::detail::synchronizing_word (const automaton &aut, const std::string &algo)
 Bridge. More...