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

The join of two expansionsets. More...

#include <expansionset.hh>

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

Public Types

using type = expansionset< expressionset< join_t< Ctx1, Ctx2 > >>
 

Static Public Member Functions

static type join (const expansionset< expressionset< Ctx1 >> &lhs, const expansionset< expressionset< Ctx2 >> &rhs)
 

Detailed Description

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

The join of two expansionsets.

Definition at line 970 of file expansionset.hh.

Member Typedef Documentation

◆ type

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

Definition at line 973 of file expansionset.hh.

Member Function Documentation

◆ join()

template<typename Ctx1 , typename Ctx2 >
static type vcsn::detail::join_impl< expansionset< expressionset< Ctx1 > >, expansionset< expressionset< Ctx2 > > >::join ( const expansionset< expressionset< Ctx1 >> &  lhs,
const expansionset< expressionset< Ctx2 >> &  rhs 
)
inlinestatic

Definition at line 975 of file expansionset.hh.

References vcsn::join(), and vcsn::dyn::type().

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