Awali
Another Weighted Automata library
Data Structures | Typedefs | Variables
awali::priority Namespace Reference

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

Data Structures

struct  _p
 

Typedefs

template<typename T >
using BOTTOM = ONE< T >
 
template<typename T >
using FIVE = _p< _p< _p< _p< _p< T > >> >>
 
template<typename T >
using FOUR = _p< _p< _p< _p< T > >> >
 
template<typename T >
using HIGH = FOUR< T >
 
template<typename T >
using LOW = TWO< T >
 
template<typename T >
using MEDIUM = THREE< T >
 
template<typename T >
using ONE = _p< T >
 
template<typename T >
using THREE = _p< _p< _p< T > >>
 
template<typename T >
using TOP = FIVE< T >
 
template<typename T >
using TWO = _p< _p< T > >
 

Variables

static constexpr BOTTOM< void > bottom
 
static constexpr FIVE< void > five
 
static constexpr FOUR< void > four
 
static constexpr HIGH< void > high
 
static constexpr LOW< void > low
 
static constexpr MEDIUM< void > medium
 
static constexpr ONE< void > one
 
static constexpr THREE< void > three
 
static constexpr TOP< void > top
 
static constexpr TWO< void > two
 
static constexpr TOP< void > value
 

Detailed Description

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.


Data Structure Documentation

◆ awali::priority::_p

struct awali::priority::_p

template<typename T>
struct awali::priority::_p< T >

Typedef Documentation

◆ BOTTOM

template<typename T >
using awali::priority::BOTTOM = typedef ONE<T>

◆ FIVE

template<typename T >
using awali::priority::FIVE = typedef _p<_p<_p<_p<_p<T> >> >>

◆ FOUR

template<typename T >
using awali::priority::FOUR = typedef _p<_p<_p<_p<T> >> >

◆ HIGH

template<typename T >
using awali::priority::HIGH = typedef FOUR<T>

◆ LOW

template<typename T >
using awali::priority::LOW = typedef TWO<T>

◆ MEDIUM

template<typename T >
using awali::priority::MEDIUM = typedef THREE<T>

◆ ONE

template<typename T >
using awali::priority::ONE = typedef _p<T>

◆ THREE

template<typename T >
using awali::priority::THREE = typedef _p<_p<_p<T> >>

◆ TOP

template<typename T >
using awali::priority::TOP = typedef FIVE<T>

◆ TWO

template<typename T >
using awali::priority::TWO = typedef _p<_p<T> >

Variable Documentation

◆ bottom

constexpr BOTTOM<void> awali::priority::bottom
staticconstexpr

◆ five

constexpr FIVE<void> awali::priority::five
staticconstexpr

◆ four

constexpr FOUR<void> awali::priority::four
staticconstexpr

◆ high

constexpr HIGH<void> awali::priority::high
staticconstexpr

◆ low

constexpr LOW<void> awali::priority::low
staticconstexpr

◆ medium

constexpr MEDIUM<void> awali::priority::medium
staticconstexpr

◆ one

constexpr ONE<void> awali::priority::one
staticconstexpr

◆ three

constexpr THREE<void> awali::priority::three
staticconstexpr

◆ top

constexpr TOP<void> awali::priority::top
static

◆ two

constexpr TWO<void> awali::priority::two
staticconstexpr

◆ value

constexpr TOP<void> awali::priority::value
staticconstexpr