tupleset.hh File Reference

#include <iosfwd>
#include <istream>
#include <set>
#include <tuple>
#include <awali/common/version.hh>
#include <awali/sttc/config.hh>
#include <awali/sttc/labelset/fwd.hh>
#include <awali/sttc/misc/escape.hh>
#include <awali/sttc/misc/raise.hh>
#include <awali/sttc/misc/stream.hh>
#include <awali/sttc/core/kind.hh>
#include <awali/common/tuple.hh>
#include <awali/sttc/misc/cross.hh>
#include <awali/sttc/misc/zip.hh>
#include <awali/sttc/weightset/b.hh>
#include <awali/sttc/weightset/is_finite.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::concat_tupleset< tupleset< T1... >, tupleset< T2... > >
struct	awali::sttc::internal::labelset_types< Enable, ValueSets >
	A traits so that tupleset may define types that may exist. More...
struct	awali::sttc::internal::labelset_types< decltype(pass{typename ValueSets::word_t()...}, void()), ValueSets... >
	Specialization for tuples of labelsets. More...
class	awali::sttc::tupleset< ValueSets >
	A ValueSet which is a Cartesian product of ValueSets. More...

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... ValueSets>
using	awali::sttc::labelset_types = internal::labelset_types< void, ValueSets... >

Functions
template<typename... Valuesets>
auto	awali::sttc::make_tupleset (std::tuple< Valuesets... > t) -> tupleset< Valuesets... >

---

Data Structure Documentation

awali::sttc::internal::concat_tupleset< tupleset< T1... >, tupleset< T2... > >

struct awali::sttc::internal::concat_tupleset< tupleset< T1... >, tupleset< T2... > >

template<typename... T1, typename... T2>
struct awali::sttc::internal::concat_tupleset< tupleset< T1... >, tupleset< T2... > >

Data Fields
	type

awali::sttc::internal::labelset_types

struct awali::sttc::internal::labelset_types

template<typename Enable = void, typename... ValueSets>
struct awali::sttc::internal::labelset_types< Enable, ValueSets >

A traits so that tupleset may define types that may exist.

The types genset_t, letter_t, and word_t, exists only for tuples of labelsets, characterized as featuring a word_t type.

Data Fields
typedef void	genset_t
typedef void	letter_t
typedef void	word_t

awali::sttc::internal::labelset_types< decltype(pass{typename ValueSets::word_t()...}, void()), ValueSets... >

struct awali::sttc::internal::labelset_types< decltype(pass{typename ValueSets::word_t()...}, void()), ValueSets... >

template<typename... ValueSets>
struct awali::sttc::internal::labelset_types< decltype(pass{typename ValueSets::word_t()...}, void()), ValueSets... >

Specialization for tuples of labelsets.

Data Fields
	genset_t
	letter_t
	word_t