| add_final(Args &&... args) -> decltype(aut_-> add_ final(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | add_initial(Args &&... args) -> decltype(aut_-> add_initial(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | add_transition(Args &&... args) -> decltype(aut_-> add_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | add_transition_copy(Args &&... args) -> decltype(aut_-> add_transition_copy(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | add_weight(Args &&... args) -> decltype(aut_-> add_weight(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | all_in(Args &&... args) const -> decltype(aut_-> all_in(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | all_out(state_t s) const -> decltype(vcsn::detail::all_out(this->aut_, s)) | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::all_out(Args &&... args) const -> decltype(aut_-> all_out(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | all_states() const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | all_states(Pred pred) const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::all_states(Args &&... args) const -> decltype(aut_-> all_states(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | all_transitions(Args &&... args) const -> decltype(aut_-> all_transitions(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | aut_ | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | protected | 
  | automaton_decorator(automaton_t aut) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | automaton_decorator(const automaton_decorator &aut) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | automaton_decorator(const context_t &ctx) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | automaton_decorator(automaton_decorator &&aut) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | automaton_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | complete_(state_t s) const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | context(Args &&... args) const -> decltype(aut_-> context(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | context_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | del_state(Args &&... args) -> decltype(aut_-> del_state(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | del_transition(Args &&... args) -> decltype(aut_-> del_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | dst_of(Args &&... args) const -> decltype(aut_-> dst_of(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | element_type typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | fresh_automaton_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | get_final_weight(Args &&... args) const -> decltype(aut_-> get_ final _weight(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | get_initial_weight(Args &&... args) const -> decltype(aut_-> get_initial_weight(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | get_transition(Args &&... args) const -> decltype(aut_-> get_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | has_state(Args &&... args) const -> decltype(aut_-> has_state(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | has_transition(Args &&... args) const -> decltype(aut_-> has_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | in_automaton_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | in_context_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | is_final(Args &&... args) const -> decltype(aut_-> is_ final(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | is_initial(Args &&... args) const -> decltype(aut_-> is_initial(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | is_lazy(state_t s) const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::is_lazy(Args &&... args) const -> decltype(aut_-> is_lazy(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | is_lazy_in(Args &&... args) const -> decltype(aut_-> is_lazy_in(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | kind_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | known_states_ | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | private | 
  | label_of(Args &&... args) const -> decltype(aut_-> label_of(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | label_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | labelset(Args &&... args) const -> decltype(aut_-> labelset(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | labelset_ptr typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | labelset_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | lazy_proper_automaton_impl(const in_automaton_t &a, bool prune=true) | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | lazy_transition(Args &&... args) -> decltype(element_type::lazy_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | lweight(Args &&... args) -> decltype(aut_-> lweight(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | new_state(Args &&... args) -> decltype(aut_-> new_state(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | new_transition(Args &&... args) -> decltype(aut_-> new_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | new_transition_copy(Args &&... args) -> decltype(aut_-> new_transition_copy(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | null_state(Args &&... args) -> decltype(element_type::null_state(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | null_transition(Args &&... args) -> decltype(element_type::null_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | num_all_states(Args &&... args) const -> decltype(aut_-> num_all_states(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | num_finals(Args &&... args) const -> decltype(aut_-> num_ final s(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | num_initials(Args &&... args) const -> decltype(aut_-> num_initials(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | num_states(Args &&... args) const -> decltype(aut_-> num_states(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | num_transitions(Args &&... args) const -> decltype(aut_-> num_transitions(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | operator=(automaton_decorator &&that) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | post(Args &&... args) -> decltype(element_type::post(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | pre(Args &&... args) -> decltype(element_type::pre(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | prepost_label(Args &&... args) const -> decltype(aut_-> prepost_label(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | print(Args &&... args) const -> decltype(aut_-> print(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | print_set(std::ostream &o, format fmt) const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::print_set(Args &&... args) const -> decltype(aut_-> print_set(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | print_state(Args &&... args) const -> decltype(aut_-> print_state(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | print_state_name(Args &&... args) const -> decltype(aut_-> print_state_name(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | proper_states_ | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | private | 
  | remover_ | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | private | 
  | rweight(Args &&... args) -> decltype(aut_-> rweight(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | self_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | set_final(Args &&... args) -> decltype(aut_-> set_ final(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | set_initial(Args &&... args) -> decltype(aut_-> set_initial(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | set_lazy(Args &&... args) -> decltype(aut_-> set_lazy(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | set_lazy_in(Args &&... args) -> decltype(aut_-> set_lazy_in(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | set_transition(Args &&... args) -> decltype(aut_-> set_transition(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | set_weight(Args &&... args) -> decltype(aut_-> set_weight(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | sname() | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inlinestatic | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::sname(Args &&... args) -> decltype(element_type::sname(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inlinestatic | 
  | src_of(Args &&... args) const -> decltype(aut_-> src_of(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | state_has_name(Args &&... args) const -> decltype(aut_-> state_has_name(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | state_has_spontaneous_out(state_t s) const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | state_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | states() const | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > | inline | 
  | automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > >::states(Args &&... args) const -> decltype(aut_-> states(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | strip() | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | super_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | transition_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | transpose_in_automaton_t typedef | vcsn::detail::lazy_proper_automaton_impl< Aut, has_one > |  | 
  | unset_final(Args &&... args) -> decltype(aut_-> unset_ final(std | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | unset_initial(Args &&... args) -> decltype(aut_-> unset_initial(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | weight_of(Args &&... args) const -> decltype(aut_-> weight_of(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | weight_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | weightset(Args &&... args) const -> decltype(aut_-> weightset(std::forward< Args >(args)...)) | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > | inline | 
  | weightset_ptr typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  | 
  | weightset_t typedef | vcsn::detail::automaton_decorator< fresh_automaton_t_of< Aut, detail::proper_context< context_t_of< Aut > > > > |  |