labelset.hh File Reference

#include <boost/range/algorithm/find.hpp>
#include <boost/range/algorithm/find_if.hpp>
#include <boost/range/algorithm_ext/is_sorted.hpp>
#include <vcsn/ctx/context.hh>
#include <vcsn/ctx/traits.hh>
#include <vcsn/misc/algorithm.hh>
#include <vcsn/misc/functional.hh>
#include <vcsn/misc/type_traits.hh>

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::letterized_traits< LabelSet >
struct	vcsn::detail::nullableset_traits< LabelSet, Enable >
	The smallest nullableset which includes LabelSet. More...
struct	vcsn::detail::proper_traits< LabelSet >
	From a labelset, its non-nullable 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::genset_t = decltype(std::declval< LabelSet >().genset())
template<typename LabelSet >
using	vcsn::detail::has_genset_mem_fn = detect< LabelSet, genset_t >
template<typename LabelSet >
using	vcsn::detail::one_t = decltype(std::declval< LabelSet >().one())
template<typename LabelSet >
using	vcsn::detail::has_one_mem_fn = detect< LabelSet, one_t >
template<typename LabelSet >
using	vcsn::detail::letterized_t = typename letterized_traits< LabelSet >::labelset_t
template<typename LabelSet >
using	vcsn::detail::is_letterized_t = bool_constant< letterized_traits< LabelSet >::is_letterized >
template<typename Context >
using	vcsn::detail::letterized_context = context< letterized_t< labelset_t_of< Context >>, weightset_t_of< Context >>
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::proper_t = typename proper_traits< LabelSet >::type
	The type of the corresponding proper LabelSet. More...
template<typename Context >
using	vcsn::detail::proper_context = context< proper_t< labelset_t_of< Context >>, weightset_t_of< Context >>
template<typename Context >
using	vcsn::detail::free_context = context< proper_t< letterized_t< labelset_t_of< Context >>>, weightset_t_of< Context >>
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 >>

Functions
template<typename LabelSet >
auto	vcsn::detail::label_one () -> enable_if_t< LabelSet::has_one(), typename LabelSet::value_t >
	This LabelSet's one(), if supported. More...
template<typename LabelSet >
ATTRIBUTE_NORETURN auto	vcsn::detail::label_one () -> enable_if_t<!LabelSet::has_one(), typename LabelSet::value_t >
template<typename LabelSet >
auto	vcsn::detail::label_one (const LabelSet &) -> typename LabelSet::value_t
	Enjoy type inference. More...
template<typename LabelSet >
letterized_t< LabelSet >	vcsn::detail::make_letterized (const LabelSet &ls)
template<typename LabelSet , typename WeightSet >
letterized_context< context< LabelSet, WeightSet > >	vcsn::detail::make_letterized_context (const context< LabelSet, WeightSet > &c)
	The letterized context for c. More...
template<typename LabelSet >
nullableset_t< LabelSet >	vcsn::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 >
proper_t< LabelSet >	vcsn::detail::make_proper (const LabelSet &ls)
	The corresponding proper LabelSet. More...
template<typename LabelSet , typename WeightSet >
auto	vcsn::detail::make_proper_context (const context< LabelSet, WeightSet > &ctx) -> proper_context< context< LabelSet, WeightSet >>
	From a context, its non-nullable context. More...
template<typename LabelSet , typename WeightSet >
free_context< context< LabelSet, WeightSet > >	vcsn::detail::make_free_context (const context< LabelSet, WeightSet > &c)
	The free context for c. More...
template<typename LabelSet >
law_t< LabelSet >	vcsn::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 LabelSet >
std::ostream &	vcsn::detail::print_label_ranges_ (const LabelSet &ls, const std::vector< typename LabelSet::value_t > &letters, const std::vector< typename LabelSet::value_t > &alphabet, std::ostream &out, format fmt)
	Print a set of labels with ranges. More...
template<typename LabelSet >
std::ostream &	vcsn::detail::print_label_class (const LabelSet &ls, const std::vector< typename LabelSet::value_t > &letters, std::ostream &out, format fmt)
	Print a set of labels (letterized) with classes. More...