Vcsn
2.0
Be Rational
|
Join of a letterset and a ratexpset. More...
#include <ratexpset.hh>
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) |
Join of a letterset and a ratexpset.
Definition at line 386 of file ratexpset.hh.
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.
using vcsn::detail::join_impl< letterset< GenSet1 >, ratexpset< Ctx2 > >::type = ratexpset<context_t> |
Definition at line 390 of file ratexpset.hh.
|
inlinestatic |
Definition at line 392 of file ratexpset.hh.
References vcsn::join().