IDFATableBuilder.cs
26 lines
| 747 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); | ||||
|
|
r182 | |||
| /// <summary> | ||||
| /// Increases if needed the input alphabet size to hold the specified symbol. | ||||
| /// </summary> | ||||
| /// <remarks> | ||||
| /// <code> | ||||
| /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1) | ||||
| /// </code> | ||||
| /// </remarks> | ||||
| /// <param name="symbol">Symbol.</param> | ||||
| void AddSymbol(int symbol); | ||||
|
|
r165 | } | ||
| } | ||||
