Awali
Another Weighted Automata library
|
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) |
specialisation of labelset_trait for nullableset
using awali::sttc::labelset_trait< nullableset< T > >::letterset_t = typename labelset_trait<T>::letterset_t |
using awali::sttc::labelset_trait< nullableset< T > >::not_nullable_t = typename labelset_trait<T>::not_nullable_t |
using awali::sttc::labelset_trait< nullableset< T > >::nullable_t = typename labelset_trait<T>::nullable_t |
using awali::sttc::labelset_trait< nullableset< T > >::ratlabelset_t = typename labelset_trait<T>::ratlabelset_t |
using awali::sttc::labelset_trait< nullableset< T > >::wordset_t = typename labelset_trait<T>::wordset_t |
|
static |
|
static |
|
static |
|
static |
|
static |