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

File last commit:

r168:8fb9c9507a26 ref20160224
r169:54270c2f29f2 ref20160224
Show More
IDFATableBuilder.cs
15 lines | 384 B | text/x-csharp | CSharpLexer
cin
DFA refactoring
r165 using System;
cin
sync
r167 using System.Collections.Generic;
cin
DFA refactoring
r165
namespace Implab.Automaton {
cin
sync
r167 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
cin
DFA refactoring
r165 /// <summary>
/// Marks the state as final.
/// </summary>
/// <param name="state">State.</param>
void MarkFinalState(int state);
void SetInitialState(int s);
}
}