annotate Implab/Formats/CharAlphabet.cs @ 165:e227e78d72e4 ref20160224

DFA refactoring
author cin
date Mon, 29 Feb 2016 02:02:17 +0300
parents ec35731ae299
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 CharAlphabet: IndexedAlphabetBase<char> {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
7
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
8 public CharAlphabet()
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
9 : base(char.MaxValue + 1) {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
10 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
11
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
12 public override int GetSymbolIndex(char symbol) {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
13 return 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 override IEnumerable<char> InputSymbols {
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
17 get { return Enumerable.Range(char.MinValue, char.MaxValue).Cast<char>(); }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
18 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
19 }
ec35731ae299 Almost complete DFA refactoring
cin
parents:
diff changeset
20 }