Mercurial > pub > ImplabNet
comparison Implab/Automaton/IDFADefinitionBuilder.cs @ 162:0526412bbb26 ref20160224
DFA refactoring
author | cin |
---|---|
date | Wed, 24 Feb 2016 08:39:53 +0300 |
parents | |
children |
comparison
equal
deleted
inserted
replaced
161:2a8466f0cb8a | 162:0526412bbb26 |
---|---|
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 |