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

specialisation of labelset_trait for oneset More...

#include <traits.hh>

Public Types

using not_nullable_t = self_t
 
using nullable_t = self_t
 
using ratlabelset_t = self_t
 
using self_t = oneset
 

Static Public Member Functions

static not_nullable_t const & get_not_nullableset (const self_t &ls)
 
static ratlabelset_t get_ratlabelset (const oneset &os)
 

Detailed Description

specialisation of labelset_trait for oneset

Member Typedef Documentation

◆ not_nullable_t

◆ nullable_t

◆ ratlabelset_t

◆ self_t

Member Function Documentation

◆ get_not_nullableset()

static not_nullable_t const& awali::sttc::labelset_trait< oneset >::get_not_nullableset ( const self_t ls)
static

◆ get_ratlabelset()

static ratlabelset_t awali::sttc::labelset_trait< oneset >::get_ratlabelset ( const oneset os)
static

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