partial_identity.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/core/mutable_automaton.hh>
#include <awali/sttc/history/single_history.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::multituple< N >
struct	awali::sttc::internal::multituple< 1u >
struct	awali::sttc::internal::multitupleset< N, Labelset >
struct	awali::sttc::internal::multitupleset< 1u, Labelset >
struct	awali::sttc::internal::partial_identiter< Aut, I >

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<size_t I, typename Aut >
auto	awali::sttc::partial_identity (const Aut &in, bool keep_history=true) -> typename internal::partial_identiter< Aut, I >::out_automaton_t
	Builds a transducer realizing the identity on a language. More...

---

Data Structure Documentation

awali::sttc::internal::multitupleset

struct awali::sttc::internal::multitupleset

template<size_t N, typename Labelset>
struct awali::sttc::internal::multitupleset< N, Labelset >

Data Fields
typedef typename concat_tupleset< tupleset< Labelset >, typename multitupleset< N-1, Labelset >::type >::type	type

awali::sttc::internal::multitupleset< 1u, Labelset >

struct awali::sttc::internal::multitupleset< 1u, Labelset >

template<typename Labelset>
struct awali::sttc::internal::multitupleset< 1u, Labelset >

Data Fields
typedef tupleset< Labelset >	type