accessible.hh File Reference

Algorithms for accessible/coaccessible states computation. More...

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
namespace	vcsn
Functions
template<typename A, typename T>
std::set< typename automaton_traits< T > ::hstate_t >	accessible_states (const Element< A, T > &a)
	Return accessible states.
template<typename A, typename T>
Element< A, T >	accessible (const Element< A, T > &a)
	Extract the sub-automaton composed of accessible states.
template<typename A, typename T>
void	accessible_here (Element< A, T > &a)
	In-place extract the sub-automaton of accessible states.
template<typename A, typename T>
std::set< typename automaton_traits< T > ::hstate_t >	coaccessible_states (const Element< A, T > &a)
	Return co-accessible states.
template<typename A, typename T>
Element< A, T >	coaccessible (const Element< A, T > &a)
	Extract the sub-automaton composed of co-accessible states.
template<typename A, typename T>
void	coaccessible_here (Element< A, T > &a)
	In-place extract the sub-automaton of co-accessible states.

---

Detailed Description

Algorithms for accessible/coaccessible states computation.

A few algorithms to get accessible or coaccessible states from an automaton.

See also:

accessible_states(), accessible(), accessible_here(), coaccessible_states(), coaccessible(), coaccessible_here()

Definition in file accessible.hh.