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

The join with another labelset. More...

#include <nullableset.hh>

Collaboration diagram for vcsn::detail::join_impl< nullableset< LS1 >, LS2 >:

Public Types

using type = std::conditional_t< LS2::has_one(), join_t< LS1, LS2 >, nullableset< join_t< LS1, LS2 > >>
 

Static Public Member Functions

static type join (const nullableset< LS1 > &ls1, const LS2 &ls2)
 

Detailed Description

template<typename LS1, typename LS2>
struct vcsn::detail::join_impl< nullableset< LS1 >, LS2 >

The join with another labelset.

Definition at line 699 of file nullableset.hh.

Member Typedef Documentation

◆ type

template<typename LS1 , typename LS2 >
using vcsn::detail::join_impl< nullableset< LS1 >, LS2 >::type = std::conditional_t<LS2::has_one(), join_t<LS1, LS2>, nullableset<join_t<LS1, LS2> >>

Definition at line 703 of file nullableset.hh.

Member Function Documentation

◆ join()

template<typename LS1 , typename LS2 >
static type vcsn::detail::join_impl< nullableset< LS1 >, LS2 >::join ( const nullableset< LS1 > &  ls1,
const LS2 &  ls2 
)
inlinestatic

Definition at line 704 of file nullableset.hh.

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