synchronizing-word.hh File Reference

#include <algorithm>
#include <iostream>
#include <limits>
#include <map>
#include <queue>
#include <set>
#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/label.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::synchronizer< Aut >

Namespaces
	vcsn
	vcsn::dyn
	FIXME: duplicate code with determinize.
	vcsn::dyn::detail
	vcsn::detail

Functions
template<typename Aut >
bool	vcsn::is_synchronized_by (const Aut &aut, const typename labelset_t_of< Aut >::word_t &w)
template<typename Aut , typename LabelSet >
bool	vcsn::dyn::detail::is_synchronized_by (const automaton &aut, const label &word)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_synchronized_by,(const automaton &, const label &) -> bool)
template<typename Aut >
bool	vcsn::is_synchronizing (const Aut &aut)
template<typename Aut >
bool	vcsn::dyn::detail::is_synchronizing (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_synchronizing,(const automaton &) -> bool)
template<typename Aut >
labelset_t_of< Aut >::word_t	vcsn::synchronizing_word (const Aut &aut, const std::string &algo="greedy")
template<typename Aut , typename String >
label	vcsn::dyn::detail::synchronizing_word (const automaton &aut, const std::string &algo)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (synchronizing_word,(const automaton &, const std::string &) -> label)