accessible.cc File Reference

#include <vcsn/algos/accessible.hh>
#include <vcsn/dyn/algos.hh>
#include <lib/vcsn/algos/registry.hh>

Include dependency graph for accessible.cc:

Go to the source code of this file.

Namespaces
	vcsn
	vcsn::dyn
	FIXME: duplicate code with determinize.

Functions
automaton	vcsn::dyn::accessible (const automaton &aut)
	The accessible subautomaton of aut. More...
automaton	vcsn::dyn::coaccessible (const automaton &aut)
	The coaccessible subautomaton of aut. More...
automaton	vcsn::dyn::trim (const automaton &aut)
	The useful subautomaton of aut. More...
bool	vcsn::dyn::is_accessible (const automaton &aut)
	Whether aut is accessible. More...
bool	vcsn::dyn::is_coaccessible (const automaton &aut)
	Whether aut is coaccessible. More...
bool	vcsn::dyn::is_trim (const automaton &aut)
	Whether has no useless state. More...
bool	vcsn::dyn::is_useless (const automaton &aut)
	Whether has no useful state. More...
bool	vcsn::dyn::is_empty (const automaton &aut)
	Whether has no state. More...