namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    public abstract class Transducer<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TThis> : TransducerBase<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, ImmutablePairDistribution<TElement, TElementDistribution>, TThis>
        where TSequence, class, IEnumerable<TElement>
        where TElementDistribution, new(), CanComputeProduct<TElementDistribution>, CanCreatePartialUniform<TElementDistribution>, CanGetLogAverageOf<TElementDistribution>, IImmutableDistribution<TElement, TElementDistribution>, Sampleable<TElement>, SummableExactly<TElementDistribution>
        where TSequenceManipulator, new(), ISequenceManipulator<TSequence, TElement>
        where TAutomaton, new(), Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>
        where TThis, new(), Transducer<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton, TThis>
    {
        public static TThis Copy(TElementDistribution allowedElements);
    }
}