![]() |
Vcsn
2.1
Be Rational
|
#include <mutable-automaton.hh>
Public Member Functions | |
auto | operator() (state_t s) -> bool |
Public Attributes | |
const mutable_automaton_impl & | aut_ |
Pred | pred_ |
Definition at line 743 of file mutable-automaton.hh.
|
inline |
Definition at line 745 of file mutable-automaton.hh.
References vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::aut_, vcsn::detail::mutable_automaton_impl< Context >::null_transition(), vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::pred_, vcsn::detail::mutable_automaton_impl< Context >::states_, and vcsn::detail::mutable_automaton_impl< Context >::stored_state_t::succ.
const mutable_automaton_impl& vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::aut_ |
Definition at line 752 of file mutable-automaton.hh.
Referenced by vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::operator()().
Pred vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::pred_ |
Definition at line 753 of file mutable-automaton.hh.
Referenced by vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::operator()().