accessible.hh File Reference

#include <deque>
#include <queue>
#include <map>
#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
	FIXME: duplicate code with determinize.
	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 &aptr)
template<typename Aut >
states_t< Aut >	vcsn::coaccessible_states (const Aut &a)
template<typename Aut >
states_t< Aut >	vcsn::useful_states (const Aut &a)
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)
template<typename Aut >
filter_automaton< Aut >	vcsn::coaccessible (const Aut &a)
template<typename Aut >
filter_automaton< Aut >	vcsn::trim (const Aut &a)
template<typename Aut >
bool	vcsn::is_trim (const Aut &a)
template<typename Aut >
bool	vcsn::is_useless (const Aut &a)
template<typename Aut >
bool	vcsn::is_accessible (const Aut &a)
template<typename Aut >
bool	vcsn::is_coaccessible (const Aut &a)
template<typename Aut >
bool	vcsn::is_empty (const Aut &a) ATTRIBUTE_PURE
template<typename Aut >
automaton	vcsn::dyn::detail::accessible (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (accessible,(const automaton &) -> automaton)
template<typename Aut >
automaton	vcsn::dyn::detail::coaccessible (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (coaccessible,(const automaton &) -> automaton)
template<typename Aut >
automaton	vcsn::dyn::detail::trim (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (trim,(const automaton &) -> automaton)
template<typename Aut >
bool	vcsn::dyn::detail::is_accessible (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_accessible,(const automaton &) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_coaccessible (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_coaccessible,(const automaton &) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_trim (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_trim,(const automaton &) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_useless (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_useless,(const automaton &) -> bool)
template<typename Aut >
bool	vcsn::dyn::detail::is_empty (const automaton &aut)
	vcsn::dyn::detail::REGISTER_DECLARE (is_empty,(const automaton &) -> bool)