accessible.hh File Reference

#include <deque>
#include <queue>
#include <map>
#include <unordered_set>
#include <awali/sttc/algos/copy.hh>
#include <awali/sttc/algos/sub_automaton.hh>
#include <awali/sttc/core/transpose_view.hh>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/set.hh>

Go to the source code of this file.

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Functions
template<typename Aut >
Aut::element_type::automaton_nocv_t	awali::sttc::accessible (const Aut &aut, bool keep_history=true)
	Accessible subautomaton. More...
template<typename Aut >
void	awali::sttc::accessible_here (Aut &aut)
	In-place accessible subautomaton. More...
template<typename Aut >
std::set< state_t >	awali::sttc::accessible_states (const Aut &aut, bool include_pre_post=false)
	List of accessible states. More...
template<typename Aut >
Aut::element_type::automaton_nocv_t	awali::sttc::coaccessible (const Aut &aut, bool keep_history=true)
	Coaccessible subautomaton. More...
template<typename Aut >
void	awali::sttc::coaccessible_here (Aut &aut)
	In-place coaccessible subautomaton. More...
template<typename Aut >
std::set< state_t >	awali::sttc::coaccessible_states (const Aut &aut, bool include_pre_post=false)
	List of coaccessible states. More...
template<typename Set , typename Aut >
void	awali::sttc::fill_with_accessible_states (Set &res, const Aut &aut, bool include_pre_post=false)
template<typename Set , typename Aut >
void	awali::sttc::fill_with_coaccessible_states (Set &res, const Aut &aut, bool include_pre_post=false)
template<typename Aut >
bool	awali::sttc::is_accessible (const Aut &aut)
	Test whether every state of the automaton is accessible. More...
template<typename Aut >
bool	awali::sttc::is_coaccessible (const Aut &aut)
	Test whether every state of the automaton is coaccessible. More...
template<typename Aut >
bool	awali::sttc::is_empty (const Aut &aut)
	Test whether the automaton has no state. More...
template<typename Aut >
bool	awali::sttc::is_trim (const Aut &aut)
	Test whether the automaton is trim. More...
template<typename Aut >
bool	awali::sttc::is_useless (const Aut &aut)
	Test whether the automaton has useful states. More...
template<typename Aut >
size_t	awali::sttc::num_accessible_states (const Aut &aut)
	Number of accessible states. More...
template<typename Aut >
size_t	awali::sttc::num_coaccessible_states (const Aut &aut)
	Number of coaccessible states. More...
template<typename Aut >
size_t	awali::sttc::num_useful_states (const Aut &aut)
	Number of useful states. More...
template<typename Aut >
Aut::element_type::automaton_nocv_t	awali::sttc::trim (const Aut &aut, bool keep_history=true)
	Trim subautomaton. More...
template<typename Aut >
void	awali::sttc::trim_here (Aut &aut)
	In-place trim subautomaton. More...
template<typename Aut >
std::set< state_t >	awali::sttc::useful_states (const Aut &aut, bool include_pre_post=false)
	List of useful states. More...