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> > |