Vcsn
2.1
Be Rational
|
#include <conjunction.hh>
Public Member Functions | |
bool | operator() (transition_t_of< self_t > t) const |
Public Attributes | |
const self_t & | aut_ |
label_t_of< self_t > | label_ |
Definition at line 133 of file conjunction.hh.
|
inline |
Definition at line 135 of file conjunction.hh.
References vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::aut_, vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::label_, vcsn::detail::automaton_decorator< Aut, Context >::label_of(), and vcsn::detail::automaton_decorator< Aut, Context >::labelset().
const self_t& vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::aut_ |
Definition at line 139 of file conjunction.hh.
Referenced by vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::operator()().
label_t_of<self_t> vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::label_ |
Definition at line 142 of file conjunction.hh.
Referenced by vcsn::detail::product_automaton_impl< Aut, Auts >::label_equal_p::operator()().