Mercurial > pub > ImplabNet

diff 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
line wrap: on
line diff
--- a/Implab/Automaton/IDFATableBuilder.cs	Thu Mar 24 03:54:46 2016 +0300
+++ b/Implab/Automaton/IDFATableBuilder.cs	Thu Mar 24 18:52:10 2016 +0300
@@ -10,6 +10,17 @@
         void MarkFinalState(int state);
 
         void SetInitialState(int s);
+
+        /// <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);
     }
 }