namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    public abstract class Transducer<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TThis> : TransducerBase<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, ImmutablePairDistribution<TSrcElement, TSrcElementDistribution, TDestElement, TDestElementDistribution>, TThis>
        where TSrcSequence, class, IEnumerable<TSrcElement>
        where TSrcElementDistribution, new(), CanComputeProduct<TSrcElementDistribution>, CanCreatePartialUniform<TSrcElementDistribution>, CanGetLogAverageOf<TSrcElementDistribution>, IImmutableDistribution<TSrcElement, TSrcElementDistribution>, Sampleable<TSrcElement>, SummableExactly<TSrcElementDistribution>
        where TSrcSequenceManipulator, new(), ISequenceManipulator<TSrcSequence, TSrcElement>
        where TSrcAutomaton, new(), Automaton<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton>
        where TDestSequence, class, IEnumerable<TDestElement>
        where TDestElementDistribution, new(), CanComputeProduct<TDestElementDistribution>, CanCreatePartialUniform<TDestElementDistribution>, CanGetLogAverageOf<TDestElementDistribution>, IImmutableDistribution<TDestElement, TDestElementDistribution>, Sampleable<TDestElement>, SummableExactly<TDestElementDistribution>
        where TDestSequenceManipulator, new(), ISequenceManipulator<TDestSequence, TDestElement>
        where TDestAutomaton, new(), Automaton<TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton>
        where TThis, new(), Transducer<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TThis>
    {
        public static TThat Transpose<TThat>(TThis transducer)
            where TThat, new(), Transducer<TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TThat>;
    }
}