accessible.hh File Reference

#include <queue>
#include <vcsn/algos/filter.hh>
#include <vcsn/algos/transpose.hh>
#include <vcsn/dyn/fwd.hh>
#include <vcsn/misc/attributes.hh>
#include <vcsn/misc/unordered_set.hh>

Include dependency graph for accessible.hh:

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

Go to the source code of this file.

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

Typedefs
template<typename Aut >
using	vcsn::states_t = std::unordered_set< state_t_of< Aut >>

Functions
template<typename Aut >
states_t< Aut >	vcsn::accessible_states (const Aut &aut, bool strict=true)
	The set of accessible states, including pre(), and possibly post(). More...
template<typename Aut >
states_t< Aut >	vcsn::coaccessible_states (const Aut &a, bool strict=true)
	The set of coaccessible states, including post(), and possibly pre(). More...
template<typename Aut >
states_t< Aut >	vcsn::useful_states (const Aut &a, bool strict=true)
	The set of useful states, including possibly pre() and post(). More...
template<typename Aut >
size_t	vcsn::num_accessible_states (const Aut &a)
	Number of accessible states, not counting pre() and post(). More...
template<typename Aut >
size_t	vcsn::num_coaccessible_states (const Aut &a)
	Number of accessible states, not counting pre() and post(). More...
template<typename Aut >
size_t	vcsn::num_useful_states (const Aut &a)
	Number of accessible states, not counting pre() and post(). More...
template<typename Aut >
filter_automaton< Aut >	vcsn::accessible (const Aut &a)
	Accessible part of an automaton. More...
template<typename Aut >
filter_automaton< Aut >	vcsn::coaccessible (const Aut &a)
	Coaccessible part of an automaton. More...
template<typename Aut >
filter_automaton< Aut >	vcsn::trim (const Aut &a)
	Useful part of an automaton. More...
template<typename Aut >
bool	vcsn::is_trim (const Aut &a)
	Whether all its states are useful. More...
template<typename Aut >
bool	vcsn::is_useless (const Aut &a)
	Whether all no state is useful. More...
template<typename Aut >
bool	vcsn::is_accessible (const Aut &a)
	Whether all its states are accessible. More...
template<typename Aut >
bool	vcsn::is_coaccessible (const Aut &a)
	Whether all its states are coaccessible. More...
template<typename Aut >
bool	vcsn::is_empty (const Aut &a)
	Whether has no states. More...
template<typename Aut >
automaton	vcsn::dyn::detail::accessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	vcsn::dyn::detail::coaccessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
automaton	vcsn::dyn::detail::trim (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_accessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_coaccessible (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_trim (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_useless (const automaton &aut)
	Bridge. More...
template<typename Aut >
bool	vcsn::dyn::detail::is_empty (const automaton &aut)
	Bridge. More...