traits.hh File Reference

#include <memory>
#include <awali/sttc/core/rat/identities.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::context_t_of_impl< ValueSet >
struct	awali::sttc::internal::context_t_of_impl< std::shared_ptr< ValueSet > >
struct	awali::sttc::internal::label_t_of_impl< ValueSet >
struct	awali::sttc::internal::label_t_of_impl< std::shared_ptr< ValueSet > >
struct	awali::sttc::internal::labelset_t_of_impl< ValueSet >
struct	awali::sttc::internal::labelset_t_of_impl< std::shared_ptr< ValueSet > >
struct	awali::sttc::internal::weight_t_of_impl< ValueSet >
struct	awali::sttc::internal::weight_t_of_impl< std::shared_ptr< ValueSet > >
struct	awali::sttc::internal::weightset_t_of_impl< ValueSet >
struct	awali::sttc::internal::weightset_t_of_impl< std::shared_ptr< ValueSet > >

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.
	awali::sttc::internal
	Implementation details of static layer (not stable).

Macros
#define	DEFINE(Traits)
#define	DEFINE(Type)
#define	DEFINE(Type)

Typedefs
template<typename T >
using	awali::sttc::internal::base_t = typename std::remove_cv< typename std::remove_reference< T >::type >::type
	T without reference or const/volatile qualifiers. More...
template<typename ValueSet >
using	awali::sttc::context_t_of = typename internal::context_t_of_impl< internal::base_t< ValueSet > >::type
	Helper to retrieve the type of the context of a value set. More...
template<typename ValueSet >
using	awali::sttc::label_t_of = typename internal::label_t_of_impl< internal::base_t< ValueSet > >::type
	Helper to retrieve the type of the labels of a value set. More...
template<typename ValueSet >
using	awali::sttc::labelset_t_of = typename internal::labelset_t_of_impl< internal::base_t< ValueSet > >::type
	Helper to retrieve the type of the labelset of a value set. More...
template<typename ValueSet >
using	awali::sttc::weight_t_of = typename internal::weight_t_of_impl< internal::base_t< ValueSet > >::type
	Helper to retrieve the type of the weights of a value set. More...
template<typename ValueSet >
using	awali::sttc::weightset_t_of = typename internal::weightset_t_of_impl< internal::base_t< ValueSet > >::type
	Helper to retrieve the type of the weightset of a value set. More...

---

Data Structure Documentation

awali::sttc::internal::context_t_of_impl

struct awali::sttc::internal::context_t_of_impl

template<typename ValueSet>
struct awali::sttc::internal::context_t_of_impl< ValueSet >

Data Fields
typedef typename context_t	type

awali::sttc::internal::label_t_of_impl

struct awali::sttc::internal::label_t_of_impl

template<typename ValueSet>
struct awali::sttc::internal::label_t_of_impl< ValueSet >

Data Fields
typedef typename label_t	type

awali::sttc::internal::labelset_t_of_impl

struct awali::sttc::internal::labelset_t_of_impl

template<typename ValueSet>
struct awali::sttc::internal::labelset_t_of_impl< ValueSet >

Data Fields
typedef typename labelset_t	type

awali::sttc::internal::weight_t_of_impl

struct awali::sttc::internal::weight_t_of_impl

template<typename ValueSet>
struct awali::sttc::internal::weight_t_of_impl< ValueSet >

Data Fields
typedef typename weight_t	type

awali::sttc::internal::weightset_t_of_impl

struct awali::sttc::internal::weightset_t_of_impl

template<typename ValueSet>
struct awali::sttc::internal::weightset_t_of_impl< ValueSet >

Data Fields
typedef typename weightset_t	type

Macro Definition Documentation

DEFINE [1/3]

#define DEFINE

(

Traits

)

Value:

    template <typename ValueSet>                                \
    struct Traits ## _t_of_impl<std::shared_ptr<ValueSet>>      \
      : Traits ## _t_of_impl<base_t<ValueSet>>                  \
    {};

DEFINE [2/3]

#define DEFINE

(

Type

)

Value:

  namespace internal                                                      \
  {                                                                     \
    template <typename ValueSet>                                        \
    struct Type ## _of_impl                                             \
    {                                                                   \
      using type = typename ValueSet::Type;                             \
    };                                                                  \
  }                                                                     \

DEFINE [3/3]

#define DEFINE

(

Type

)

Value:

  template <typename ValueSet>                                          \
  using Type ## _of                                                     \
  = typename internal::Type ## _of_impl<internal::base_t<ValueSet>>::type;