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

specialisation of labelset_trait for wordset More...

#include <traits.hh>

Public Types

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

Static Public Member Functions

static letterset_t get_letterset (const wordset< T > &ls)
 
static const not_nullable_tget_not_nullableset (const wordset< T > &ls)
 
static const nullable_tget_nullableset (const wordset< T > &ls)
 
static const ratlabelset_tget_ratlabelset (const wordset< T > &ls)
 
static const wordset_tget_wordset (const wordset< T > &ls)
 

Detailed Description

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

specialisation of labelset_trait for wordset

Member Typedef Documentation

◆ letterset_t

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

◆ not_nullable_t

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

◆ nullable_t

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

◆ ratlabelset_t

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

◆ wordset_t

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

Member Function Documentation

◆ get_letterset()

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

◆ get_not_nullableset()

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

◆ get_nullableset()

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

◆ get_ratlabelset()

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

◆ get_wordset()

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

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