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 TThis SumLog(double logWeightThis, TThis other, double logWeightOther);
    }
}