namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    public abstract class TransducerBase<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TPairDistribution, 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 TPairDistribution, new(), ImmutablePairDistributionBase<TSrcElement, TSrcElementDistribution, TDestElement, TDestElementDistribution, TPairDistribution>
        where TThis, new(), TransducerBase<TSrcSequence, TSrcElement, TSrcElementDistribution, TSrcSequenceManipulator, TSrcAutomaton, TDestSequence, TDestElement, TDestElementDistribution, TDestSequenceManipulator, TDestAutomaton, TPairDistribution, TThis>
    {
        public static TThis Replace(TSrcAutomaton srcAutomaton, TDestAutomaton destAutomaton);
    }
}