Mercurial > pub > ImplabNet

annotate Implab/Automaton/IDFATableBuilder.cs @ 170:181119ef3b39 ref20160224

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
DFA refactoring, rx based dfa.
author cin
date Fri, 04 Mar 2016 01:56:31 +0300
parents 8fb9c9507a26
children 76e8f2ba12b8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
1 using System;
167
cin
parents: 165
diff changeset
2 using System.Collections.Generic;
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
3
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
4 namespace Implab.Automaton {
167
cin
parents: 165
diff changeset
5 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
165
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
6 /// <summary>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
7 /// Marks the state as final.
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
8 /// </summary>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
9 /// <param name="state">State.</param>
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
10 void MarkFinalState(int state);
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
11
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
12 void SetInitialState(int s);
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
13 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
14 }
e227e78d72e4 DFA refactoring
cin
parents:
diff changeset
15