Mercurial > pub > ImplabNet

comparison Implab/Automaton/IDFATableBuilder.cs @ 182:76e8f2ba12b8 ref20160224

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
pretty print DFA, the minimization is still buggy
author cin
date Thu, 24 Mar 2016 18:52:10 +0300
parents 8fb9c9507a26
children
comparison
equal deleted inserted replaced
181:b2b6a6640aa3 182:76e8f2ba12b8
8 /// </summary> 8 /// </summary>
9 /// <param name="state">State.</param> 9 /// <param name="state">State.</param>
10 void MarkFinalState(int state); 10 void MarkFinalState(int state);
11 11
12 void SetInitialState(int s); 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);
13 } 24 }
14 } 25 }
15 26