diff Implab/Automaton/RegularExpressions/RegularDFADefinition.cs @ 169:54270c2f29f2 ref20160224

DFA refactoring
author cin
date Thu, 03 Mar 2016 08:41:02 +0300
parents e227e78d72e4
children 181119ef3b39
line wrap: on
line diff
--- a/Implab/Automaton/RegularExpressions/RegularDFADefinition.cs	Wed Mar 02 19:59:16 2016 +0300
+++ b/Implab/Automaton/RegularExpressions/RegularDFADefinition.cs	Thu Mar 03 08:41:02 2016 +0300
@@ -1,7 +1,7 @@
 using System;
 
 namespace Implab.Automaton.RegularExpressions {
-    public class RegularDFADefinition<TInput, TTag> : DFATransitionTable<TTag>, IDFATransitionTable<TTag> {
+    public class RegularDFADefinition<TInput, TTag> : DFATable {
 
         readonly IAlphabet<TInput> m_alphabet;
 
@@ -18,7 +18,7 @@
             }
         }
 
-        protected override DFAStateDescriptior<TTag>[] ConstructTransitionTable() {
+        protected override DFAStateDescriptior[] ConstructTransitionTable() {
             if (InputAlphabet.Count != m_alphabet.Count)
                 throw new InvalidOperationException("The alphabet doesn't match the transition table");