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); | ||||
| } | ||||
| } | ||||
