Awali
Another Weighted Automata library
Data Structures | Namespaces | Typedefs | Functions
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 >