Mercurial > pub > ImplabNet
comparison Implab/Automaton/DummyAlphabet.cs @ 163:419aa51b04fd ref20160224
JSON moved to Formats namespace
Working in RegularDFA
| author | cin |
|---|---|
| date | Wed, 24 Feb 2016 20:12:52 +0300 |
| parents | |
| children | ec35731ae299 |
comparison
equal
deleted
inserted
replaced
| 162:0526412bbb26 | 163:419aa51b04fd |
|---|---|
| 1 using System; | |
| 2 using System.Collections.Generic; | |
| 3 using System.Linq; | |
| 4 | |
| 5 namespace Implab.Automaton { | |
| 6 public class DummyAlphabet : IAlphabet<int> { | |
| 7 readonly int m_size; | |
| 8 public DummyAlphabet(int size) { | |
| 9 Safe.ArgumentAssert(size > 0); | |
| 10 m_size = 0; | |
| 11 } | |
| 12 | |
| 13 #region IAlphabet implementation | |
| 14 | |
| 15 public List<int>[] CreateReverseMap() { | |
| 16 Enumerable.Range(0, m_size).ToArray(); | |
| 17 } | |
| 18 | |
| 19 public int[] Reclassify(IAlphabetBuilder<int> newAlphabet, IEnumerable<IEnumerable<int>> classes) { | |
| 20 Safe.ArgumentNotNull(newAlphabet, "newAlphabet"); | |
| 21 Safe.ArgumentNotNull(classes, "classes"); | |
| 22 var map = new int[m_size]; | |
| 23 foreach (var cls in classes) { | |
| 24 var newid = newAlphabet.DefineClass(cls); | |
| 25 foreach (var id in cls) | |
| 26 map[id] = newid; | |
| 27 } | |
| 28 | |
| 29 return map; | |
| 30 } | |
| 31 | |
| 32 public int Translate(int symobl) { | |
| 33 Safe.ArgumentInRange(symobl, 0, m_size, "symbol"); | |
| 34 return symobl; | |
| 35 } | |
| 36 | |
| 37 public int Count { | |
| 38 get { | |
| 39 return m_size; | |
| 40 } | |
| 41 } | |
| 42 | |
| 43 #endregion | |
| 44 } | |
| 45 } | |
| 46 |