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 nullable_t = oneset
 
using ratlabelset_t = oneset
 

Static Public Member Functions

static ratlabelset_t get_ratlabelset (const oneset &os)
 

Detailed Description

specialisation of labelset_trait for oneset

Member Typedef Documentation

◆ nullable_t

◆ ratlabelset_t

Member Function Documentation

◆ 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: