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