![]() |
Vcsn
2.3a
Be Rational
|
Build the (accessible part of the) composition. More...
#include <compose.hh>
Public Types | |
using | clhs_t = Lhs |
using | crhs_t = Rhs |
using | hidden_l_labelset_t = res_labelset_t_of< clhs_t > |
using | hidden_r_labelset_t = res_labelset_t_of< crhs_t > |
using | hidden_l_label_t = typename hidden_l_labelset_t::value_t |
using | hidden_r_label_t = typename hidden_r_labelset_t::value_t |
using | labelset_t = typename concat_tupleset< hidden_l_labelset_t, hidden_r_labelset_t >::type |
The type of context of the result. More... | |
using | weightset_t = join_t< weightset_t_of< context_t_of< Lhs >>, weightset_t_of< context_t_of< Rhs >>> |
using | res_label_t = typename labelset_t::value_t |
using | context_t = ::vcsn::context< labelset_t, weightset_t > |
using | out_t = mutable_automaton< context_t > |
Build the (accessible part of the) composition.
Definition at line 44 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::clhs_t = Lhs |
Definition at line 46 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::context_t = ::vcsn::context<labelset_t, weightset_t> |
Definition at line 63 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::crhs_t = Rhs |
Definition at line 47 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::hidden_l_label_t = typename hidden_l_labelset_t::value_t |
Definition at line 52 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::hidden_l_labelset_t = res_labelset_t_of<clhs_t> |
Definition at line 50 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::hidden_r_label_t = typename hidden_r_labelset_t::value_t |
Definition at line 53 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::hidden_r_labelset_t = res_labelset_t_of<crhs_t> |
Definition at line 51 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::labelset_t = typename concat_tupleset<hidden_l_labelset_t, hidden_r_labelset_t>::type |
The type of context of the result.
Definition at line 58 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::out_t = mutable_automaton<context_t> |
Definition at line 65 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::res_label_t = typename labelset_t::value_t |
Definition at line 62 of file compose.hh.
using vcsn::detail::composed_type< Lhs, Rhs >::weightset_t = join_t<weightset_t_of<context_t_of<Lhs>>, weightset_t_of<context_t_of<Rhs>>> |
Definition at line 60 of file compose.hh.