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