Awali
Another Weighted Automata library
Public Types | Static Public Member Functions
awali::sttc::labelset_trait< letterset< T > > Struct Template Reference

specialisation of labelset_trait for letterset More...

#include <traits.hh>

Public Types

using letterset_t = letterset< T >
 
using not_nullable_t = letterset< T >
 
using nullable_t = nullableset< letterset< T > >
 
using ratlabelset_t = letterset< T >
 
using wordset_t = wordset< T >
 

Static Public Member Functions

static const letterset_tget_letterset (const letterset< T > &ls)
 
static const not_nullable_tget_not_nullableset (const letterset< T > &ls)
 
static nullable_t get_nullableset (const letterset< T > &ls)
 
static const ratlabelset_tget_ratlabelset (const letterset< T > &ls)
 
static wordset_t get_wordset (const letterset< T > &ls)
 

Detailed Description

template<typename T>
struct awali::sttc::labelset_trait< letterset< T > >

specialisation of labelset_trait for letterset

Member Typedef Documentation

◆ letterset_t

template<typename T >
using awali::sttc::labelset_trait< letterset< T > >::letterset_t = letterset<T>

◆ not_nullable_t

template<typename T >
using awali::sttc::labelset_trait< letterset< T > >::not_nullable_t = letterset<T>

◆ nullable_t

template<typename T >
using awali::sttc::labelset_trait< letterset< T > >::nullable_t = nullableset<letterset<T> >

◆ ratlabelset_t

template<typename T >
using awali::sttc::labelset_trait< letterset< T > >::ratlabelset_t = letterset<T>

◆ wordset_t

template<typename T >
using awali::sttc::labelset_trait< letterset< T > >::wordset_t = wordset<T>

Member Function Documentation

◆ get_letterset()

template<typename T >
static const letterset_t& awali::sttc::labelset_trait< letterset< T > >::get_letterset ( const letterset< T > &  ls)
static

◆ get_not_nullableset()

template<typename T >
static const not_nullable_t& awali::sttc::labelset_trait< letterset< T > >::get_not_nullableset ( const letterset< T > &  ls)
static

◆ get_nullableset()

template<typename T >
static nullable_t awali::sttc::labelset_trait< letterset< T > >::get_nullableset ( const letterset< T > &  ls)
static

◆ get_ratlabelset()

template<typename T >
static const ratlabelset_t& awali::sttc::labelset_trait< letterset< T > >::get_ratlabelset ( const letterset< T > &  ls)
static

◆ get_wordset()

template<typename T >
static wordset_t awali::sttc::labelset_trait< letterset< T > >::get_wordset ( const letterset< T > &  ls)
static

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