Vcsn  2.3
Be Rational
accessible.hh File Reference
#include <queue>
#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
 
 vcsn::dyn::detail
 

Typedefs

template<Automaton Aut>
using vcsn::states_t = std::unordered_set< state_t_of< Aut >>
 

Functions

template<Automaton Aut>
states_t< Aut > vcsn::accessible_states (const Aut &aut, bool strict=true)
 The set of accessible states, including pre(), and possibly post(). More...
 
template<Automaton Aut>
states_t< Aut > vcsn::coaccessible_states (const Aut &a, bool strict=true)
 The set of coaccessible states, including post(), and possibly pre(). More...
 
template<Automaton Aut>
states_t< Aut > vcsn::useful_states (const Aut &a, bool strict=true)
 The set of useful states, including possibly pre() and post(). More...
 
template<Automaton Aut>
size_t vcsn::num_accessible_states (const Aut &a)
 Number of accessible states, not counting pre() and post(). More...
 
template<Automaton Aut>
size_t vcsn::num_coaccessible_states (const Aut &a)
 Number of accessible states, not counting pre() and post(). More...
 
template<Automaton Aut>
size_t vcsn::num_useful_states (const Aut &a)
 Number of accessible states, not counting pre() and post(). More...
 
template<Automaton Aut>
filter_automaton< Aut > vcsn::accessible (const Aut &a)
 Accessible part of an automaton. More...
 
template<Automaton Aut>
filter_automaton< Aut > vcsn::coaccessible (const Aut &a)
 Coaccessible part of an automaton. More...
 
template<Automaton Aut>
filter_automaton< Aut > vcsn::trim (const Aut &a)
 Useful part of an automaton. More...
 
template<Automaton Aut>
bool vcsn::is_trim (const Aut &a)
 Whether all its states are useful. More...
 
template<Automaton Aut>
bool vcsn::is_useless (const Aut &a)
 Whether all no state is useful. More...
 
template<Automaton Aut>
bool vcsn::is_accessible (const Aut &a)
 Whether all its states are accessible. More...
 
template<Automaton Aut>
bool vcsn::is_coaccessible (const Aut &a)
 Whether all its states are coaccessible. More...
 
template<Automaton Aut>
bool vcsn::is_empty (const Aut &a)
 Whether has no states. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::accessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::coaccessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
automaton vcsn::dyn::detail::trim (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_accessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_coaccessible (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_trim (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_useless (const automaton &aut)
 Bridge. More...
 
template<Automaton Aut>
bool vcsn::dyn::detail::is_empty (const automaton &aut)
 Bridge. More...