Awali
Another Weighted Automata library
|
#include <utility>
Go to the source code of this file.
Data Structures | |
struct | awali::priority::_p< T > |
Namespaces | |
awali | |
Main namespace of Awali. | |
awali::priority | |
Namespace that contains helper class and function to allow one algorithm to be choosen at compile time depending on context, among a sorted list of possibly available functions. | |
Typedefs | |
template<typename T > | |
using | awali::priority::BOTTOM = ONE< T > |
template<typename T > | |
using | awali::priority::FIVE = _p< _p< _p< _p< _p< T > >> >> |
template<typename T > | |
using | awali::priority::FOUR = _p< _p< _p< _p< T > >> > |
template<typename T > | |
using | awali::priority::HIGH = FOUR< T > |
template<typename T > | |
using | awali::priority::LOW = TWO< T > |
template<typename T > | |
using | awali::priority::MEDIUM = THREE< T > |
template<typename T > | |
using | awali::priority::ONE = _p< T > |
template<typename T > | |
using | awali::priority::THREE = _p< _p< _p< T > >> |
template<typename T > | |
using | awali::priority::TOP = FIVE< T > |
template<typename T > | |
using | awali::priority::TWO = _p< _p< T > > |
Variables | |
static constexpr BOTTOM< void > | awali::priority::bottom |
static constexpr FIVE< void > | awali::priority::five |
static constexpr FOUR< void > | awali::priority::four |
static constexpr HIGH< void > | awali::priority::high |
static constexpr LOW< void > | awali::priority::low |
static constexpr MEDIUM< void > | awali::priority::medium |
static constexpr ONE< void > | awali::priority::one |
static constexpr THREE< void > | awali::priority::three |
static constexpr TOP< void > | awali::priority::top |
static constexpr TWO< void > | awali::priority::two |
static constexpr TOP< void > | awali::priority::value |
struct awali::priority::_p |