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