##// END OF EJS Templates
Almost complete DFA refactoring
Almost complete DFA refactoring

File last commit:

r164:ec35731ae299 ref20160224
r164:ec35731ae299 ref20160224
Show More
IDFATransitionTableBuilder.cs
25 lines | 804 B | text/x-csharp | CSharpLexer
/ Implab / Automaton / IDFATransitionTableBuilder.cs
using System;
namespace Implab.Automaton {
public interface IDFATransitionTableBuilder<TTag> : IDFATransitionTable<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);
void SetInitialState(int s);
}
}