namespace Microsoft.ML.Probabilistic.Distributions.Automata
{
    public class RegexpAutomatonFormat : IAutomatonFormat
    {
        public string ConvertToString<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>(Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton> automaton)
            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 TAutomaton, new(), Automaton<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>;
    }
}