Vcsn  2.0
Be Rational
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros
labelset.hh File Reference
Include dependency graph for labelset.hh:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

struct  vcsn::detail::nullableset_traits< LabelSet, Enable >
 The smallest nullableset which includes LabelSet. More...
 
struct  vcsn::detail::law_traits< ValueSet >
 The LAW from a LAL. More...
 

Namespaces

 vcsn
 
 vcsn::detail
 

Typedefs

template<typename LabelSet >
using vcsn::detail::nullableset_t = typename nullableset_traits< LabelSet >::type
 The smallest nullableset that includes LabelSet. More...
 
template<typename Ctx >
using vcsn::detail::nullableset_context_t = context< nullableset_t< labelset_t_of< Ctx >>, weightset_t_of< Ctx >>
 
template<typename LabelSet >
using vcsn::detail::law_t = typename law_traits< LabelSet >::type
 The smallest wordset that includes LabelSet. More...
 
template<typename Ctx >
using vcsn::detail::word_context_t = context< law_t< labelset_t_of< Ctx >>, weightset_t_of< Ctx >>
 
template<typename Ctx >
using vcsn::detail::word_polynomialset_t = polynomialset< word_context_t< Ctx >>
 

Functions

template<typename LabelSet >
nullableset_t< LabelSetvcsn::detail::make_nullableset (const LabelSet &ls)
 The nullableset of a labelset. More...
 
template<typename LabelSet , typename WeightSet >
nullableset_context_t< context
< LabelSet, WeightSet > > 
vcsn::detail::make_nullableset_context (const context< LabelSet, WeightSet > &ctx)
 The nullableset context of a context. More...
 
template<typename LabelSet >
law_t< LabelSetvcsn::detail::make_wordset (const LabelSet &ls)
 The wordset of a labelset. More...
 
template<typename LabelSet , typename WeightSet >
word_context_t< context
< LabelSet, WeightSet > > 
vcsn::detail::make_word_context (const context< LabelSet, WeightSet > &ctx)
 The wordset context of a context. More...
 
template<typename Ctx >
auto vcsn::detail::make_word_polynomialset (const Ctx &ctx) -> word_polynomialset_t< Ctx >
 The polynomialset of words of a labelset (not necessarily on words itself). More...