diff Implab/Automaton/DummyAlphabet.cs @ 171:0f70905b4652 ref20160224

Working on regular DFA
author cin
date Thu, 10 Mar 2016 01:19:33 +0300
parents ec35731ae299
children
line wrap: on
line diff
--- a/Implab/Automaton/DummyAlphabet.cs	Fri Mar 04 01:56:31 2016 +0300
+++ b/Implab/Automaton/DummyAlphabet.cs	Thu Mar 10 01:19:33 2016 +0300
@@ -24,24 +24,14 @@
             Enumerable.Range(0, m_size).ToArray();
         }
 
-        public int[] Reclassify(IAlphabetBuilder<int> newAlphabet, IEnumerable<IEnumerable<int>> classes) {
-            Safe.ArgumentNotNull(newAlphabet, "newAlphabet");
-            Safe.ArgumentNotNull(classes, "classes");
-            var map = new int[m_size];
-            foreach (var cls in classes) {
-                if (cls.Contains(DFAConst.UNCLASSIFIED_INPUT))
-                    continue;
-                var newid = newAlphabet.DefineClass(cls);
-                foreach (var id in cls)
-                    map[id] = newid;
-            }
-
-            return map;
+        public int Translate(int symbol) {
+            Safe.ArgumentInRange(symbol, 0, m_size, "symbol");
+            return symbol;
         }
 
-        public int Translate(int symobl) {
-            Safe.ArgumentInRange(symobl, 0, m_size, "symbol");
-            return symobl;
+        public bool Contains(int symbol) {
+            Safe.ArgumentInRange(symbol, 0, m_size, "symbol");
+            return true;
         }
 
         public int Count {