namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    [DataContract]
    [Quality(QualityBand.Experimental)]
    public abstract class Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis> : IWeightFunction, IWeightFunction<TThis>, IEquatable<TThis>
        where TSequence, class, IEnumerable<TElement>
        where TElementDistribution, new(), CanComputeProduct<TElementDistribution>, CanCreatePartialUniform<TElementDistribution>, CanGetLogAverageOf<TElementDistribution>, IImmutableDistribution<TElement, TElementDistribution>, SummableExactly<TElementDistribution>
        where TSequenceManipulator, new(), ISequenceManipulator<TSequence, TElement>
        where TThis, new(), Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TThis>
    {
        [DefaultMember("Item")]
        public class Builder
        {
            public struct TransitionIterator
            {
                public Transition Value { get; }
            }
        }
    }
}