labelset.hh File Reference

#include <awali/sttc/weightset/polynomialset.hh>
#include <awali/sttc/labelset/traits.hh>

Go to the source code of this file.

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

Typedefs
template<typename LabelSet >
using	awali::sttc::internal::law_t = typename labelset_trait< LabelSet >::wordset_t
template<typename Ctx >
using	awali::sttc::internal::word_context_t = context< law_t< labelset_t_of< Ctx > >, weightset_t_of< Ctx > >
template<typename Ctx >
using	awali::sttc::internal::word_polynomialset_t = polynomialset< word_context_t< Ctx > >

Functions
template<typename LabelSet , typename WeightSet >
word_context_t< context< LabelSet, WeightSet > >	awali::sttc::internal::make_word_context (const context< LabelSet, WeightSet > &ctx)
	The wordset context of a labelset. More...
template<typename Ctx >
auto	awali::sttc::internal::make_word_polynomialset (const Ctx &ctx) -> word_polynomialset_t< Ctx >
	The polynomialset of words of a labelset (not necessarily on words itself). More...
template<typename LabelSet >
law_t< LabelSet >	awali::sttc::internal::make_wordset (const LabelSet &ls)
	The wordset of a labelset. More...