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

specialisation of labelset_trait for nullableset More...

#include <traits.hh>

Public Types

using letterset_t = typename labelset_trait< T >::letterset_t
 
using not_nullable_t = typename labelset_trait< T >::not_nullable_t
 
using nullable_t = typename labelset_trait< T >::nullable_t
 
using ratlabelset_t = typename labelset_trait< T >::ratlabelset_t
 
using wordset_t = typename labelset_trait< T >::wordset_t
 

Static Public Member Functions

static letterset_t get_letterset (const nullableset< T > &ls)
 
static not_nullable_t get_not_nullableset (const nullableset< T > &ls)
 
static nullable_t get_nullableset (const nullableset< T > &ls)
 
static ratlabelset_t get_ratlabelset (const nullableset< T > &ls)
 
static wordset_t get_wordset (const nullableset< T > &ls)
 

Detailed Description

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

specialisation of labelset_trait for nullableset

Member Typedef Documentation

◆ letterset_t

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

◆ not_nullable_t

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

◆ nullable_t

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

◆ ratlabelset_t

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

◆ wordset_t

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

Member Function Documentation

◆ get_letterset()

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

◆ get_not_nullableset()

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

◆ get_nullableset()

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

◆ get_ratlabelset()

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

◆ get_wordset()

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

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