accessible.hh File Reference

#include <set>
#include <awali/dyn/core/automaton.hh>
#include <awali/dyn/loading/handler.hh>
#include <awali/dyn/options/options.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::dyn
	Namespace for the dynamical layer of Awali.

Functions
automaton_t	awali::dyn::accessible (automaton_t aut, options_t opt={})
	Makes aut accessible or returns a copy of the accessible part of aut. More...
std::set< state_t >	awali::dyn::accessible_states (automaton_t aut)
	Computes the list of accessible states in aut. More...
automaton_t	awali::dyn::coaccessible (automaton_t aut, options_t opt={})
	Makes aut coaccessible or returns a copy of the coaccessible part of aut. More...
std::set< state_t >	awali::dyn::coaccessible_states (automaton_t aut)
	Computes the list of coaccessible states in aut. More...
bool	awali::dyn::is_accessible (automaton_t aut)
	Tests whether every state of the automaton is accessible. More...
bool	awali::dyn::is_coaccessible (automaton_t aut)
	Tests whether every state of aut is coaccessible. More...
bool	awali::dyn::is_empty (automaton_t aut)
	Tests whether the automaton has no state. More...
bool	awali::dyn::is_trim (automaton_t aut)
	Tests whether aut is trim. More...
bool	awali::dyn::is_useless (automaton_t aut)
	Tests whether the automaton has useful states. More...
size_t	awali::dyn::num_accessible_states (automaton_t aut)
	Computes the number of accessible states in aut. More...
size_t	awali::dyn::num_coaccessible_states (automaton_t aut)
	Computes the number of coaccessible states in aut. More...
automaton_t	awali::dyn::trim (automaton_t aut, options_t opts={})
	Trims aut or returns a trimmed copy of aut. More...
std::set< state_t >	awali::dyn::useful_states (automaton_t aut)
	Computes the list of useful states in aut. More...