is-ambiguous.hh File Reference

#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/distance.hh>
#include <vcsn/algos/product.hh>
#include <vcsn/algos/scc.hh>
#include <vcsn/dyn/fwd.hh>

Include dependency graph for is-ambiguous.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

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

Functions
template<typename Aut >
bool	vcsn::is_ambiguous (const Aut &aut, std::tuple< state_t_of< Aut >, state_t_of< Aut >> &witness)
	Whether an automaton is ambiguous. More...
template<typename Aut >
bool	vcsn::is_ambiguous (const Aut &aut)
template<class Aut >
bool	vcsn::dyn::detail::is_ambiguous (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_ambiguous,(const automaton &) -> bool)
template<typename Aut >
labelset_t_of< Aut >::word_t	vcsn::ambiguous_word (const Aut &aut)
template<typename Aut >
label	vcsn::dyn::detail::ambiguous_word (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (ambiguous_word,(const automaton &) -> label)
template<typename Aut >
bool	vcsn::is_cycle_ambiguous (const Aut &aut)
	Whether aut is cycle-ambiguous. More...
template<typename Aut >
bool	vcsn::is_cycle_ambiguous_scc (const Aut &aut)
	Whether aut is cycle-ambiguous. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_cycle_ambiguous (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_cycle_ambiguous,(const automaton &) -> bool)