Vcsn  2.2
Be Rational
vcsn::detail::composed_type< Lhs, Rhs > Struct Template Reference

Build the (accessible part of the) composition. More...

#include <compose.hh>

Collaboration diagram for vcsn::detail::composed_type< Lhs, Rhs >:

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 >
 
using automaton_t = tuple_automaton< mutable_automaton< context_t >, Lhs, Rhs >
 The type of the resulting automaton. More...
 

Detailed Description

template<Automaton Lhs, Automaton Rhs>
struct vcsn::detail::composed_type< Lhs, Rhs >

Build the (accessible part of the) composition.

Definition at line 44 of file compose.hh.

Member Typedef Documentation

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::automaton_t = tuple_automaton<mutable_automaton<context_t>, Lhs, Rhs>

The type of the resulting automaton.

Definition at line 69 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::clhs_t = Lhs

Definition at line 46 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::context_t = ::vcsn::context<labelset_t, weightset_t>

Definition at line 63 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::crhs_t = Rhs

Definition at line 47 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
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.

template<Automaton Lhs, Automaton Rhs>
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.

template<Automaton Lhs, Automaton Rhs>
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.

template<Automaton Lhs, Automaton Rhs>
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.

template<Automaton Lhs, Automaton Rhs>
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.

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::out_t = mutable_automaton<context_t>

Definition at line 65 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
using vcsn::detail::composed_type< Lhs, Rhs >::res_label_t = typename labelset_t::value_t

Definition at line 62 of file compose.hh.

template<Automaton Lhs, Automaton Rhs>
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.


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