Awali
Another Weighted Automata library
Typedefs
awali::sttc::ctx Namespace Reference

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

Detailed Description

Namespace containing all available contexts (weigh sets, label sets, etc.).


Typedef Documentation

◆ lal_char

◆ lal_int

◆ lan

template<typename T >
using awali::sttc::ctx::lan = typedef nullableset<T>

◆ lan_char

◆ lan_int

◆ lao

using awali::sttc::ctx::lao = typedef oneset

◆ lat

template<typename... ValueSets>
using awali::sttc::ctx::lat = typedef sttc::tupleset<ValueSets...>

◆ law_char