Awali
Another Weighted Automata library
|
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) |
specialisation of labelset_trait for oneset
using awali::sttc::labelset_trait< oneset >::not_nullable_t = self_t |
using awali::sttc::labelset_trait< oneset >::nullable_t = self_t |
using awali::sttc::labelset_trait< oneset >::ratlabelset_t = self_t |
using awali::sttc::labelset_trait< oneset >::self_t = oneset |
|
static |
|
static |