using System;
using Implab.Automaton.RegularExpressions;

namespace Implab.Formats {
    public class RegularCharDFADefinition<TTag> : RegularDFADefinition<char,TTag>  {
        readonly CharAlphabet m_alphabet;

        public RegularCharDFADefinition(CharAlphabet alphabet) : base(alphabet) {
            m_alphabet = alphabet;
        }

        public new CharAlphabet InputAlphabet {
            get { return m_alphabet; }
        }
    }
}