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 >
	The automaton type for the composition of Lhs with Rhs. 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 47 of file compose.hh.

Member Typedef Documentation

clhs_t

template<Automaton Lhs, Automaton Rhs>

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

Definition at line 49 of file compose.hh.

context_t

template<Automaton Lhs, Automaton Rhs>

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

Definition at line 66 of file compose.hh.

crhs_t

template<Automaton Lhs, Automaton Rhs>

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

Definition at line 50 of file compose.hh.

hidden_l_label_t

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 55 of file compose.hh.

hidden_l_labelset_t

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 53 of file compose.hh.

hidden_r_label_t

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 56 of file compose.hh.

hidden_r_labelset_t

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 54 of file compose.hh.

labelset_t

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 61 of file compose.hh.

out_t

template<Automaton Lhs, Automaton Rhs>

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

The automaton type for the composition of Lhs with Rhs.

Definition at line 69 of file compose.hh.

res_label_t

template<Automaton Lhs, Automaton Rhs>

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

Definition at line 65 of file compose.hh.

weightset_t

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 63 of file compose.hh.

---

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

• vcsn/algos/compose.hh