|
162
|
1 using System;
|
|
|
2
|
|
|
3 namespace Implab.Automaton {
|
|
|
4 public interface IDFADefinitionBuilder<TTag> {
|
|
|
5 /// <summary>
|
|
|
6 /// Marks the state as final and assings tags.
|
|
|
7 /// </summary>
|
|
|
8 /// <param name="state">State.</param>
|
|
|
9 /// <param name="tags">Tags.</param>
|
|
|
10 void MarkFinalState(int state, params TTag[] tags);
|
|
|
11
|
|
|
12 /// <summary>
|
|
|
13 /// Defines the transition from <paramref name="s1"/> to
|
|
|
14 /// <paramref name="s2"/> with input <paramref name="symbol"/>.
|
|
|
15 /// </summary>
|
|
|
16 /// <param name="s1">S1.</param>
|
|
|
17 /// <param name="s2">S2.</param>
|
|
|
18 /// <param name="symbol">Symbol.</param>
|
|
|
19 void DefineTransition(int s1, int s2, int symbol);
|
|
|
20
|
|
|
21 }
|
|
|
22 }
|
|
|
23
|
