##// END OF EJS Templates
JSON moved to Formats namespace...
JSON moved to Formats namespace Working in RegularDFA

File last commit:

r162:0526412bbb26 ref20160224
r163:419aa51b04fd ref20160224
Show More
IDFADefinitionBuilder.cs
23 lines | 733 B | text/x-csharp | CSharpLexer
/ Implab / Automaton / IDFADefinitionBuilder.cs
cin
DFA refactoring
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);
}
}