Vcsn  2.5.dev
Be Rational
Public Types | Static Public Member Functions | List of all members
vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > > Struct Template Reference

The join of two expressionsets. More...

#include <expressionset.hh>

Collaboration diagram for vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >:

Public Types

using type1 = expressionset< Ctx1 >
 
using type2 = expressionset< Ctx2 >
 
using type = expressionset< join_t< Ctx1, Ctx2 > >
 

Static Public Member Functions

static type join (const type1 &a, const type2 &b)
 

Detailed Description

template<typename Ctx1, typename Ctx2>
struct vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >

The join of two expressionsets.

Definition at line 532 of file expressionset.hh.

Member Typedef Documentation

◆ type

template<typename Ctx1 , typename Ctx2 >
using vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >::type = expressionset<join_t<Ctx1, Ctx2> >

Definition at line 536 of file expressionset.hh.

◆ type1

template<typename Ctx1 , typename Ctx2 >
using vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >::type1 = expressionset<Ctx1>

Definition at line 534 of file expressionset.hh.

◆ type2

template<typename Ctx1 , typename Ctx2 >
using vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >::type2 = expressionset<Ctx2>

Definition at line 535 of file expressionset.hh.

Member Function Documentation

◆ join()

template<typename Ctx1 , typename Ctx2 >
static type vcsn::detail::join_impl< expressionset< Ctx1 >, expressionset< Ctx2 > >::join ( const type1 &  a,
const type2 &  b 
)
inlinestatic

Definition at line 538 of file expressionset.hh.

References vcsn::join().

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