using Implab; using System; namespace Implab.Parsing { public class EDFADefinition : DFADefinitionBase where T : struct, IConvertible { readonly EnumAlphabet m_alphabet; public EnumAlphabet Alphabet { get { return m_alphabet; } } public EDFADefinition(EnumAlphabet alphabet) { Safe.ArgumentNotNull(alphabet, "alphabet"); m_alphabet = alphabet; } public override int AlphabetSize { get { return m_alphabet.Count; } } public void DefineTransition(int s1, int s2, T input) { DefineTransition(s1, s2, m_alphabet.Translate(input)); } public EDFADefinition Optimize() { var optimized = new EDFADefinition(new EnumAlphabet()); Optimize(optimized, m_alphabet, optimized.Alphabet); return optimized; } public void PrintDFA() { PrintDFA(m_alphabet); } } }