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

trait that computes the related types of a labelset More...

#include <traits.hh>

Public Types

using letterset_t = L
 
using not_nullable_t = L
 
using nullable_t = L
 
using ratlabelset_t = L
 
using wordset_t = L
 

Static Public Member Functions

static const letterset_tget_letterset (const L &ls)
 
static const not_nullable_tget_not_nullableset (const L &ls)
 
static const nullable_tget_nullableset (const L &ls)
 
static const ratlabelset_tget_ratlabelset (const L &ls)
 
static const wordset_tget_wordset (const L &ls)
 

Detailed Description

template<typename L>
struct awali::sttc::labelset_trait< L >

trait that computes the related types of a labelset

Member Typedef Documentation

◆ letterset_t

template<typename L >
using awali::sttc::labelset_trait< L >::letterset_t = L

◆ not_nullable_t

template<typename L >
using awali::sttc::labelset_trait< L >::not_nullable_t = L

◆ nullable_t

template<typename L >
using awali::sttc::labelset_trait< L >::nullable_t = L

◆ ratlabelset_t

template<typename L >
using awali::sttc::labelset_trait< L >::ratlabelset_t = L

◆ wordset_t

template<typename L >
using awali::sttc::labelset_trait< L >::wordset_t = L

Member Function Documentation

◆ get_letterset()

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

◆ get_not_nullableset()

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

◆ get_nullableset()

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

◆ get_ratlabelset()

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

◆ get_wordset()

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

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