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

Added class Trace<T> to manage channels for individual classes, if SomeClass...

Added class Trace<T> to manage channels for individual classes, if SomeClass uses Trace<SomeClass> it sould be marked with TraceSourceAttribute

cin - - Load All Authors

File last commit:

r182:76e8f2ba12b8 ref20160224


                r212:a01d9df88d74

Download file

             IDFATableBuilder.cs
        
                    26 lines
            
             | 747 B
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Automaton / IDFATableBuilder.cs
          
                    History
                
                 |
                  Source
                 | Raw
                 |Copy content
                 |Copy permalink

        cin
    
DFA refactoring

              r165
            
      using System;

        cin
    
sync

              r167
            
      using System.Collections.Generic;

        cin
    
DFA refactoring

              r165
            
      namespace Implab.Automaton {

        cin
    
sync

              r167
            
          public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {

        cin
    
DFA refactoring

              r165
            
              /// <summary>

              /// Marks the state as final.

              /// </summary>

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

              void MarkFinalState(int state);

              void SetInitialState(int s);

        cin
    
pretty print DFA, the minimization is still buggy

              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);

        cin
    
DFA refactoring

              r165
            
          }

      }

	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

cin DFA refactoring	r165	using System;
cin sync	r167	using System.Collections.Generic;
cin DFA refactoring	r165
		namespace Implab.Automaton {
cin sync	r167	public interface IDFATableBuilder : IDFATable, ICollection<AutomatonTransition> {
cin DFA refactoring	r165	/// <summary>
		/// Marks the state as final.
		/// </summary>
		/// <param name="state">State.</param>
		void MarkFinalState(int state);

		void SetInitialState(int s);
cin pretty print DFA, the minimization is still buggy	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);
cin DFA refactoring	r165	}
		}