Vcsn  2.5.dev
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > > Struct Template Reference

The join of two contexts. More...

#include <context.hh>

Collaboration diagram for vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >:

Public Types

using labelset_t = join_t< LS1, LS2 >
 
using weightset_t = join_t< WS1, WS2 >
 
using type = context< labelset_t, weightset_t >
 

Static Public Member Functions

static type join (const context< LS1, WS1 > &ctx1, const context< LS2, WS2 > &ctx2)
 

Detailed Description

template<typename LS1, typename WS1, typename LS2, typename WS2>
struct vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >

The join of two contexts.

Definition at line 200 of file context.hh.

Member Typedef Documentation

◆ labelset_t

template<typename LS1 , typename WS1 , typename LS2 , typename WS2 >
using vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::labelset_t = join_t<LS1, LS2>

Definition at line 202 of file context.hh.

◆ type

template<typename LS1 , typename WS1 , typename LS2 , typename WS2 >
using vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::type = context<labelset_t, weightset_t>

Definition at line 204 of file context.hh.

◆ weightset_t

template<typename LS1 , typename WS1 , typename LS2 , typename WS2 >
using vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::weightset_t = join_t<WS1, WS2>

Definition at line 203 of file context.hh.

Member Function Documentation

◆ join()

template<typename LS1 , typename WS1 , typename LS2 , typename WS2 >
static type vcsn::detail::join_impl< context< LS1, WS1 >, context< LS2, WS2 > >::join ( const context< LS1, WS1 > &  ctx1,
const context< LS2, WS2 > &  ctx2 
)
inlinestatic

Definition at line 206 of file context.hh.

References vcsn::join(), vcsn::context< LabelSet, WeightSet >::labelset(), vcsn::dyn::type(), and vcsn::context< LabelSet, WeightSet >::weightset().

Here is the call graph for this function:
The documentation for this struct was generated from the following file: