Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > > Struct Template Reference

Join of a letterset and a ratexpset. More...

#include <ratexpset.hh>

Collaboration diagram for vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >:

Public Types

using context_t = context< join_t< letterset< GenSet1 >, labelset_t_of< Ctx2 >>, weightset_t_of< Ctx2 >>
 
using type = ratexpset< context_t >
 

Static Public Member Functions

static type join (const letterset< GenSet1 > &a, const ratexpset< Ctx2 > &b)
 

Detailed Description

template<typename GenSet1, typename Ctx2>
struct vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >

Join of a letterset and a ratexpset.

Definition at line 386 of file ratexpset.hh.

Member Typedef Documentation

template<typename GenSet1 , typename Ctx2 >
using vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >::context_t = context<join_t<letterset<GenSet1>, labelset_t_of<Ctx2>>, weightset_t_of<Ctx2>>

Definition at line 389 of file ratexpset.hh.

template<typename GenSet1 , typename Ctx2 >
using vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >::type = ratexpset<context_t>

Definition at line 390 of file ratexpset.hh.

Member Function Documentation

template<typename GenSet1 , typename Ctx2 >
static type vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >::join ( const letterset< GenSet1 > &  a,
const ratexpset< Ctx2 > &  b 
)
inlinestatic

Definition at line 392 of file ratexpset.hh.

References vcsn::join().

Here is the call graph for this function:


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