![]()  | 
  
    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 |