Awali
Another Weighted Automata library
|
specialisation of labelset_trait for letterset More...
#include <traits.hh>
Public Types | |
using | letterset_t = letterset< T > |
using | not_nullable_t = letterset< T > |
using | nullable_t = nullableset< letterset< T > > |
using | ratlabelset_t = letterset< T > |
using | wordset_t = wordset< T > |
Static Public Member Functions | |
static const letterset_t & | get_letterset (const letterset< T > &ls) |
static const not_nullable_t & | get_not_nullableset (const letterset< T > &ls) |
static nullable_t | get_nullableset (const letterset< T > &ls) |
static const ratlabelset_t & | get_ratlabelset (const letterset< T > &ls) |
static wordset_t | get_wordset (const letterset< T > &ls) |
specialisation of labelset_trait for letterset
using awali::sttc::labelset_trait< letterset< T > >::letterset_t = letterset<T> |
using awali::sttc::labelset_trait< letterset< T > >::not_nullable_t = letterset<T> |
using awali::sttc::labelset_trait< letterset< T > >::nullable_t = nullableset<letterset<T> > |
using awali::sttc::labelset_trait< letterset< T > >::ratlabelset_t = letterset<T> |
using awali::sttc::labelset_trait< letterset< T > >::wordset_t = wordset<T> |
|
static |
|
static |
|
static |
|
static |
|
static |