#include<sttc/algos/accessible.hh>Namespace: awali::sttc
accessible_states |
List of accessible states |
coaccessible_states |
List of coaccessible states |
useful_states |
List of useful states |
template <typename Aut> std::set<state_t_of<Aut>> accessible_states(const Aut& aut, bool include_pre_post=false); template <typename Aut> std::set<state_t_of<Aut>> coaccessible_states(const Aut& aut, bool include_pre_post=false); template <typename Aut> std::set<state_t_of<Aut>> useful_states(const Aut& aut, bool include_pre_post=false);Computes the list of accessible (resp. coaccessible, useful) states in
aut
.
aut
: A static Awali automaton that can be read-only (including view)include_pre_post
:
if true
, the pre-initial and the post-final states
may be added to the result.
std::set
: the list of accessible (resp. coaccessible, useful) states
template <typename Aut> size_t num_accessible_states(const Aut& aut); template <typename Aut> size_t num_coaccessible_states(const Aut& aut); template <typename Aut> size_t num_useful_states(const Aut& aut);Computes the number of accessible (resp. coaccessible, useful) states (not counting pre-initial and post-final state).
aut
: A static Awali automaton that can be read-only (including view)size_t
: The number of accessible (resp. coaccessible, useful) statestemplate <typename Aut> void accessible_here(const Aut& aut); template <typename Aut> void coaccessible_here(const Aut& aut); template <typename Aut> void trim_here(const Aut& aut);
Remove every every state in aut which is not accessible (resp. coaccessible, useful).
aut
: A mutable static Awali automatontemplate <typename Aut> Aut accessible(const Aut& aut, bool keep_history=true); template <typename Aut> Aut coaccessible(const Aut& aut, bool keep_history=true); template <typename Aut> Aut trim(const Aut& aut, bool keep_history=true);
aut
: A static Awali automaton that can be read-only (including view)keep_history
: A Boolean that tells whether the history must be registered.
aut
.
keep_history
argument is true, the automaton has a SINGLE history.
template <typename Aut> bool is_accessible(const Aut& aut); template <typename Aut> bool is_coaccessible(const Aut& aut); template <typename Aut> bool is_trim(const Aut& aut);
aut
: A static Awali automaton that can be read-only (including view)true
if the automaton is accessible (resp. coaccessible, trim).