is-functional.hh File Reference

#include <queue>
#include <utility>
#include <vcsn/algos/accessible.hh>
#include <vcsn/algos/compose.hh>
#include <vcsn/dyn/automaton.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/labelset/tupleset.hh>
#include <vcsn/misc/unordered_map.hh>

Include dependency graph for is-functional.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_identity (const Aut &aut)
	Whether transducer aut is equivalent to the identity function on all successful path. More...
template<typename Aut >
bool	vcsn::is_functional (const Aut &aut)
	Whether aut is functional. More...
template<class Aut >
bool	vcsn::dyn::detail::is_functional (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_functional,(const automaton &) -> bool)