Awali
Another Weighted Automata library
|
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_t & | get_letterset (const L &ls) |
static const not_nullable_t & | get_not_nullableset (const L &ls) |
static const nullable_t & | get_nullableset (const L &ls) |
static const ratlabelset_t & | get_ratlabelset (const L &ls) |
static const wordset_t & | get_wordset (const L &ls) |
trait that computes the related types of a labelset
using awali::sttc::labelset_trait< L >::letterset_t = L |
using awali::sttc::labelset_trait< L >::not_nullable_t = L |
using awali::sttc::labelset_trait< L >::nullable_t = L |
using awali::sttc::labelset_trait< L >::ratlabelset_t = L |
using awali::sttc::labelset_trait< L >::wordset_t = L |
|
static |
|
static |
|
static |
|
static |
|
static |