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_ |
Definition at line 146 of file conjunction.hh.
|
inline |
Definition at line 148 of file conjunction.hh.
References vcsn::detail::product_automaton_impl< Aut, Auts >::not_to_post_p::aut_, vcsn::detail::automaton_decorator< Aut, Context >::dst_of(), and vcsn::detail::automaton_decorator< Aut, Context >::post().
const self_t& vcsn::detail::product_automaton_impl< Aut, Auts >::not_to_post_p::aut_ |
Definition at line 152 of file conjunction.hh.
Referenced by vcsn::detail::product_automaton_impl< Aut, Auts >::not_to_post_p::operator()().