#include<dyn/module/accessible.hh>
Namespace: awali::dyn
    std::set<unsigned>
    accessible_states(automaton_t aut);

    std::set<unsigned>
    coaccessible_states(automaton_t aut);

    size_t
    num_accessible_states(automaton_t aut);

    size_t
    num_coaccessible_states(automaton_t aut);

    size_t
    num_useful_states(automaton_t aut);

    void
    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).


    automaton_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);

    bool
    is_accessible(automaton_t aut);

    bool
    is_coaccessible(automaton_t aut);

    bool
    is_trim(automaton_t aut);