diff Implab/Formats/RegularCharDFADefinition.cs @ 165:e227e78d72e4 ref20160224

DFA refactoring
author cin
date Mon, 29 Feb 2016 02:02:17 +0300
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Implab/Formats/RegularCharDFADefinition.cs	Mon Feb 29 02:02:17 2016 +0300
@@ -0,0 +1,17 @@
+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; }
+        }
+    }
+}
+