#include<dyn/module/accessible.hh>Namespace: awali::dyn
std::set<unsigned> accessible_states(automaton_t aut); std::set<unsigned> coaccessible_states(automaton_t aut);
aut
: A dynamic Awali automatonaut
.size_t num_accessible_states(automaton_t aut); size_t num_coaccessible_states(automaton_t aut); size_t num_useful_states(automaton_t aut);
aut
: A dynamic Awali automatonvoid accessible_here(automaton_t aut); void coaccessible_here(automaton_t aut); void trim_here(const automaton_t aut);
Remove every every state in aut
which is not accessible (resp. coaccessible, useful).
aut
: A dynamic Awali automatonautomaton_t accessible(automaton_t aut, bool keep_history=true); automaton_t coaccessible(automaton_t aut, bool keep_history=true); automaton_t trim(const automaton_t aut, bool keep_history=true);
aut
: A dynamic Awali automatonkeep_history
: A Boolean that tells whether the history must be registered.aut
.
keep_history
argument is true, the automaton has a SINGLE history.
bool is_accessible(automaton_t aut); bool is_coaccessible(automaton_t aut); bool is_trim(automaton_t aut);
aut
: A dynamic Awali automatontrue
if the automaton is accessible (resp. coaccessible, trim).