traits.hh File Reference

#include <awali/sttc/labelset/letterset.hh>
#include <awali/sttc/labelset/wordset.hh>
#include <awali/sttc/labelset/nullableset.hh>
#include <awali/sttc/labelset/oneset.hh>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/ctx/context.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::labelset_trait< L >
	trait that computes the related types of a labelset More...
struct	awali::sttc::labelset_trait< letterset< T > >
	specialisation of labelset_trait for letterset More...
struct	awali::sttc::labelset_trait< nullableset< T > >
	specialisation of labelset_trait for nullableset More...
struct	awali::sttc::labelset_trait< oneset >
	specialisation of labelset_trait for oneset More...
struct	awali::sttc::labelset_trait< tupleset< Ts... > >
	specialisation of labelset_trait for tupleset More...
struct	awali::sttc::labelset_trait< wordset< T > >
	specialisation of labelset_trait for wordset More...

Namespaces
	awali
	Main namespace of Awali.
	awali::sttc
	Namespace for the static layer of Awali.

Typedefs
template<typename Context >
using	awali::sttc::not_nullable_of = context< typename labelset_trait< typename Context::labelset_t >::not_nullable_t, typename Context::weightset_t >
template<typename Context >
using	awali::sttc::nullable_of = context< typename labelset_trait< typename Context::labelset_t >::nullable_t, typename Context::weightset_t >
template<typename Context >
using	awali::sttc::ratexp_context_of = context< typename labelset_trait< typename Context::labelset_t >::ratlabelset_t, typename Context::weightset_t >
template<typename Context >
using	awali::sttc::ratexpset_of = ratexpset< ratexp_context_of< Context > >

Functions
template<typename L >
auto	awali::sttc::get_letterset (const L &labelset) -> typename labelset_trait< L >::letterset_t
template<typename LS , typename WS >
auto	awali::sttc::get_letterset_context (const context< LS, WS > &ctx) -> context< typename labelset_trait< LS >::letterset_t, WS >
template<typename Context >
auto	awali::sttc::get_not_nullable_context (const Context &ctx) -> not_nullable_of< Context >
template<typename L >
auto	awali::sttc::get_not_nullableset (const L &labelset) -> typename labelset_trait< L >::not_nullable_t
template<typename Context >
auto	awali::sttc::get_nullable_context (const Context &ctx) -> nullable_of< Context >
template<typename L >
auto	awali::sttc::get_nullableset (const L &labelset) -> typename labelset_trait< L >::nullable_t
template<typename Context >
ratexp_context_of< Context >	awali::sttc::get_rat_context (const Context &ctx)
template<typename L >
auto	awali::sttc::get_ratlabelset (const L &labelset) -> typename labelset_trait< L >::ratlabelset_t
template<typename L >
auto	awali::sttc::get_wordset (const L &labelset) -> typename labelset_trait< L >::wordset_t
template<typename LS , typename WS >
auto	awali::sttc::get_wordset_context (const context< LS, WS > &ctx) -> context< typename labelset_trait< LS >::wordset_t, WS >