annotate Implab/Formats/ByteAlphabet.cs @ 171:0f70905b4652 ref20160224

Working on regular DFA
author cin
date Thu, 10 Mar 2016 01:19:33 +0300
parents e227e78d72e4
children 92d5278d1b10
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
165
e227e78d72e4 DFA refactoring
cin
parents: 164
diff changeset
1 using System.Collections.Generic;
164
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
2 using System.Linq;
165
e227e78d72e4 DFA refactoring
cin
parents: 164
diff changeset
3 using Implab.Automaton;
164
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
4
165
e227e78d72e4 DFA refactoring
cin
parents: 164
diff changeset
5 namespace Implab.Formats {
164
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
6 public class ByteAlphabet : IndexedAlphabetBase<byte> {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
7 public ByteAlphabet() : base(byte.MaxValue + 1){
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
8 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
9
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
10 #region implemented abstract members of IndexedAlphabetBase
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
11
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
12 public override int GetSymbolIndex(byte symbol) {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
13 return (int)symbol;
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
14 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
15
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
16 public IEnumerable<byte> InputSymbols {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
17 get {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
18 return Enumerable.Range(byte.MinValue, byte.MaxValue).Cast<byte>();
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
19 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
20 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
21
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
22 #endregion
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
23 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
24 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
25