is-deterministic.hh File Reference

#include <queue>
#include <unordered_set>
#include <vcsn/algos/transpose.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/dyn/automaton.hh>

Include dependency graph for is-deterministic.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_deterministic (const Aut &aut, state_t_of< Aut > s)
	Whether state s is deterministic in aut. More...
template<class Aut >
size_t	vcsn::num_deterministic_states (const Aut &aut)
	Number of non-deterministic states. More...
template<class Aut >
size_t	vcsn::num_codeterministic_states (const Aut &aut)
	Number of non-deterministic states of transpositive automaton. More...
template<class Aut >
bool	vcsn::is_deterministic (const Aut &aut)
	Whether has at most an initial state, and all its states are deterministic. More...
template<class Aut >
bool	vcsn::is_codeterministic (const Aut &aut)
	Whether the transpositive automaton is deterministic. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_deterministic (const automaton &aut)
	Bridge. More...
	vcsn::dyn::detail::REGISTER_DECLARE (is_deterministic,(const automaton &aut) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_codeterministic (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_codeterministic,(const automaton &aut) -> bool)