![]()  | 
  
    Awali
    
   Another Weighted Automata library 
   | 
 
Namespace containing all available contexts (weigh sets, label sets, etc.). More...
Typedefs | |
| using | lal_char = letterset< set_alphabet< char_letters > > | 
| using | lal_int = letterset< set_alphabet< int_letters > > | 
| template<typename T > | |
| using | lan = nullableset< T > | 
| using | lan_char = nullableset< sttc::letterset< sttc::set_alphabet< sttc::char_letters > >> | 
| using | lan_int = nullableset< lal_int > | 
| using | lao = oneset | 
| template<typename... ValueSets> | |
| using | lat = sttc::tupleset< ValueSets... > | 
| using | law_char = wordset< sttc::set_alphabet< sttc::char_letters > > | 
Namespace containing all available contexts (weigh sets, label sets, etc.).
 
| using awali::sttc::ctx::lal_char = typedef letterset<set_alphabet<char_letters> > | 
| using awali::sttc::ctx::lal_int = typedef letterset<set_alphabet<int_letters> > | 
| using awali::sttc::ctx::lan = typedef nullableset<T> | 
| using awali::sttc::ctx::lan_char = typedef nullableset<sttc::letterset<sttc::set_alphabet<sttc::char_letters> >> | 
| using awali::sttc::ctx::lan_int = typedef nullableset<lal_int> | 
| using awali::sttc::ctx::lao = typedef oneset | 
| using awali::sttc::ctx::lat = typedef sttc::tupleset<ValueSets...> | 
| using awali::sttc::ctx::law_char = typedef wordset<sttc::set_alphabet<sttc::char_letters> > |