Vcsn  2.3
Be Rational
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
vcsn::detail::letterized_traits< LabelSet > Struct Template Reference

A traits to compute the letterized context. More...

#include <labelset.hh>

Collaboration diagram for vcsn::detail::letterized_traits< LabelSet >:

Public Types

using labelset_t = LabelSet
 

Static Public Member Functions

static labelset_t labelset (const labelset_t &ls)
 

Static Public Attributes

static constexpr bool is_letterized = true
 

Detailed Description

template<typename LabelSet>
struct vcsn::detail::letterized_traits< LabelSet >

A traits to compute the letterized context.

For instance LAL -> LAL, LAW -> LAN, LAW x LAW -> LAN x LAN.

Definition at line 78 of file labelset.hh.

Member Typedef Documentation

template<typename LabelSet>
using vcsn::detail::letterized_traits< LabelSet >::labelset_t = LabelSet

Definition at line 82 of file labelset.hh.

Member Function Documentation

template<typename LabelSet>
static labelset_t vcsn::detail::letterized_traits< LabelSet >::labelset ( const labelset_t &  ls)
inlinestatic

Definition at line 83 of file labelset.hh.

Referenced by vcsn::detail::make_letterized().

Member Data Documentation

template<typename LabelSet>
constexpr bool vcsn::detail::letterized_traits< LabelSet >::is_letterized = true
static

Definition at line 80 of file labelset.hh.

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