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:

• vcsn/algos/compose.hh