implab/ImplabNet Files · Implab/Automaton/IDFADefinitionBuilder.cs

DFA refactoring

cin - - Load All Authors

File last commit:

r162:0526412bbb26 ref20160224


                r162:0526412bbb26

ref20160224

Download file

             IDFADefinitionBuilder.cs
        
                    23 lines
            
             | 733 B
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Automaton / IDFADefinitionBuilder.cs
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      using System;

      namespace Implab.Automaton {

          public interface IDFADefinitionBuilder<TTag> {

              /// <summary>

              /// Marks the state as final and assings tags.

              /// </summary>

              /// <param name="state">State.</param>

              /// <param name="tags">Tags.</param>

              void MarkFinalState(int state, params TTag[] tags);

              /// <summary>

              /// Defines the transition from <paramref name="s1"/> to

              /// <paramref name="s2"/> with input <paramref name="symbol"/>.

              /// </summary>

              /// <param name="s1">S1.</param>

              /// <param name="s2">S2.</param>

              /// <param name="symbol">Symbol.</param>

              void DefineTransition(int s1, int s2, int symbol);

          }

      }

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages

				using System;

				namespace Implab.Automaton {
				public interface IDFADefinitionBuilder<TTag> {
				/// <summary>
				/// Marks the state as final and assings tags.
				/// </summary>
				/// <param name="state">State.</param>
				/// <param name="tags">Tags.</param>
				void MarkFinalState(int state, params TTag[] tags);

				/// <summary>
				/// Defines the transition from <paramref name="s1"/> to
				/// <paramref name="s2"/> with input <paramref name="symbol"/>.
				/// </summary>
				/// <param name="s1">S1.</param>
				/// <param name="s2">S2.</param>
				/// <param name="symbol">Symbol.</param>
				void DefineTransition(int s1, int s2, int symbol);

				}
				}