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>
    {
        public class Simplification
        {
            public Simplification(Builder builder, double? pruneStatesWithLogEndWeightLessThan);
        }
    }
}