annotate Implab/Formats/RegularCharDFADefinition.cs @ 169:54270c2f29f2 ref20160224

DFA refactoring
author cin
date Thu, 03 Mar 2016 08:41:02 +0300
parents e227e78d72e4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
1 using System;
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
2 using Implab.Automaton.RegularExpressions;
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
3
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
4 namespace Implab.Formats {
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
5 public class RegularCharDFADefinition<TTag> : RegularDFADefinition<char,TTag> {
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
6 readonly CharAlphabet m_alphabet;
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
7
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
8 public RegularCharDFADefinition(CharAlphabet alphabet) : base(alphabet) {
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
9 m_alphabet = alphabet;
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
10 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
11
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
12 public new CharAlphabet InputAlphabet {
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
13 get { return m_alphabet; }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
14 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
15 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
16 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
17