compose.hh File Reference

#include <stack>
#include <unordered_map>
#include <awali/sttc/algos/outsplit.hh>
#include <awali/sttc/algos/sort.hh>
#include <awali/sttc/algos/is_proper.hh>
#include <awali/sttc/labelset/tupleset.hh>
#include <awali/sttc/misc/sub_tuple.hh>
#include <awali/sttc/misc/add_epsilon_trans.hh>
#include <awali/sttc/algos/projection.hh>
#include <awali/sttc/algos/proper.hh>
#include <awali/sttc/algos/partial_identity.hh>
#include <awali/sttc/history/tuple_history.hh>

Go to the source code of this file.

Data Structures
struct	awali::sttc::internal::aff< T >
class	awali::sttc::internal::composer< Lhs, Rhs, I, J >
	Build the (accessible part of the) composition. More...
struct	awali::sttc::internal::rem_in_tupleset< tupleset< T... >, 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<typename TDC1 , typename TDC2 >
auto	awali::sttc::compose (const TDC1 &tdc1, const TDC2 &tdc2, bool keep_history=true) -> typename internal::composer< TDC1, TDC2, 1, 0 >::automaton_t
	Composition of two transducers. More...
template<size_t I, size_t J, typename TDC1 , typename TDC2 >
auto	awali::sttc::composeIJ (TDC1 &tdc1, TDC2 &tdc2, bool keep_history=true) -> typename internal::composer< TDC1, TDC2, I, J >::automaton_t
	Composition of two transducers on given tapes. More...
template<size_t I, size_t J, typename Tuple1 , typename Tuple2 >
auto	awali::sttc::internal::concat_and_remove (const Tuple1 &t1, const Tuple2 &t2) -> typename std::concat_tuple< typename rem_in_tuple< I >::template type< Tuple1 >, typename rem_in_tuple< J >::template type< Tuple2 >>::type
template<typename Aut , typename Tdc >
auto	awali::sttc::eval_tdc (const Aut &aut, const Tdc &tdc, bool keep_history=true) -> decltype(projection< 1 >(tdc))
	Evaluation of an automaton by a transducer. More...

---

Data Structure Documentation

awali::sttc::internal::aff

struct awali::sttc::internal::aff

template<typename T>
struct awali::sttc::internal::aff< T >