Awali
Another Weighted Automata library
Data Structures | Namespaces | Typedefs | Variables
priority.hh File Reference
#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
 

Data Structure Documentation

◆ awali::priority::_p

struct awali::priority::_p

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