Mercurial > pub > ImplabNet
comparison Implab/Automaton/IDFATableBuilder.cs @ 192:f1da3afc3521 release v2.1
Слияние с v2
author | cin |
---|---|
date | Fri, 22 Apr 2016 13:10:34 +0300 |
parents | 76e8f2ba12b8 |
children |
comparison
equal
deleted
inserted
replaced
71:1714fd8678ef | 192:f1da3afc3521 |
---|---|
1 using System; | |
2 using System.Collections.Generic; | |
3 | |
4 namespace Implab.Automaton { | |
5 public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> { | |
6 /// <summary> | |
7 /// Marks the state as final. | |
8 /// </summary> | |
9 /// <param name="state">State.</param> | |
10 void MarkFinalState(int state); | |
11 | |
12 void SetInitialState(int s); | |
13 | |
14 /// <summary> | |
15 /// Increases if needed the input alphabet size to hold the specified symbol. | |
16 /// </summary> | |
17 /// <remarks> | |
18 /// <code> | |
19 /// AlphabetSize = Math.Max(AlphabetSize, symbol + 1) | |
20 /// </code> | |
21 /// </remarks> | |
22 /// <param name="symbol">Symbol.</param> | |
23 void AddSymbol(int symbol); | |
24 } | |
25 } | |
26 |