vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred > Struct Template Reference

#include <mutable-automaton.hh>

Collaboration diagram for vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >:

Public Member Functions
auto	operator() (state_t s) -> bool

Public Attributes
const mutable_automaton_impl &	aut_
Pred	pred_

Detailed Description

template<typename Context>
template<typename Pred>
struct vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >

Definition at line 743 of file mutable-automaton.hh.

Member Function Documentation

template<typename Context >

template<typename Pred >

auto vcsn::detail::mutable_automaton_impl< Context >::valid_state_p< Pred >::operator() ( state_t  s ) -> bool

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.

Here is the call graph for this function:

Member Data Documentation

template<typename Context >

template<typename Pred >

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

template<typename Context >

template<typename Pred >

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

---

The documentation for this struct was generated from the following file:

• vcsn/core/mutable-automaton.hh