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