projection.hh File Reference

#include <unordered_map>
#include <awali/sttc/misc/attributes.hh>
#include <awali/sttc/misc/set.hh>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/misc/sub_tuple.hh>
#include <awali/sttc/history/single_history.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::imagers< Aut >
struct	awali::sttc::internal::projector< Aut, I >
struct	awali::sttc::internal::projectors< Aut, I >
struct	awali::sttc::internal::select< tupleset< T... >, I >
struct	awali::sttc::internal::select_tail< tupleset< T... > >
struct	awali::sttc::internal::selects< tupleset< T... >, I... >
struct	awali::sttc::internal::tuple_to_tupleset< std::tuple< T... > >

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

Functions
template<typename Tdc >
auto	awali::sttc::images (const Tdc &in, bool keep_history=true) -> typename internal::imagers< Tdc >::out_automaton_t
	Projection of last tapes of a transducer. More...
template<size_t I, typename Tdc >
auto	awali::sttc::projection (const Tdc &in, bool keep_history=true) -> typename internal::projector< Tdc, I >::out_automaton_t
	Projection of one tape of a transducer. More...
template<size_t... I, typename Tdc >
auto	awali::sttc::projections (const Tdc &in, bool keep_history=true) -> typename internal::projectors< Tdc, I... >::out_automaton_t
	Projection and/or permutation of tapes of a transducer. More...

---

Data Structure Documentation

awali::sttc::internal::tuple_to_tupleset< std::tuple< T... > >

struct awali::sttc::internal::tuple_to_tupleset< std::tuple< T... > >

template<typename... T>
struct awali::sttc::internal::tuple_to_tupleset< std::tuple< T... > >

Data Fields
	type