Mercurial > pub > ImplabNet
comparison Implab/Automaton/IDFATableBuilder.cs @ 165:e227e78d72e4 ref20160224
DFA refactoring
| author | cin |
|---|---|
| date | Mon, 29 Feb 2016 02:02:17 +0300 |
| parents | |
| children | 96681e9d0cea |
comparison
equal
deleted
inserted
replaced
| 164:ec35731ae299 | 165:e227e78d72e4 |
|---|---|
| 1 using System; | |
| 2 | |
| 3 namespace Implab.Automaton { | |
| 4 public interface IDFATableBuilder : IDFATable { | |
| 5 /// <summary> | |
| 6 /// Marks the state as final. | |
| 7 /// </summary> | |
| 8 /// <param name="state">State.</param> | |
| 9 void MarkFinalState(int state); | |
| 10 | |
| 11 /// <summary> | |
| 12 /// Defines the transition from <paramref name="s1"/> to | |
| 13 /// <paramref name="s2"/> with input <paramref name="symbol"/>. | |
| 14 /// </summary> | |
| 15 /// <param name="s1">S1.</param> | |
| 16 /// <param name="s2">S2.</param> | |
| 17 /// <param name="symbol">Symbol.</param> | |
| 18 void DefineTransition(int s1, int s2, int symbol); | |
| 19 | |
| 20 void SetInitialState(int s); | |
| 21 | |
| 22 } | |
| 23 } | |
| 24 |