IDFADefinitionBuilder.cs
23 lines
| 733 B
| text/x-csharp
|
CSharpLexer
|
|
r162 | using System; | ||
| namespace Implab.Automaton { | ||||
| public interface IDFADefinitionBuilder<TTag> { | ||||
| /// <summary> | ||||
| /// Marks the state as final and assings tags. | ||||
| /// </summary> | ||||
| /// <param name="state">State.</param> | ||||
| /// <param name="tags">Tags.</param> | ||||
| void MarkFinalState(int state, params TTag[] tags); | ||||
| /// <summary> | ||||
| /// Defines the transition from <paramref name="s1"/> to | ||||
| /// <paramref name="s2"/> with input <paramref name="symbol"/>. | ||||
| /// </summary> | ||||
| /// <param name="s1">S1.</param> | ||||
| /// <param name="s2">S2.</param> | ||||
| /// <param name="symbol">Symbol.</param> | ||||
| void DefineTransition(int s1, int s2, int symbol); | ||||
| } | ||||
| } | ||||
