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

DFA refactoring

cin - - Load All Authors

File last commit:

r162:0526412bbb26 ref20160224


                r162:0526412bbb26

ref20160224

Download file

             CDFADefinition.cs
        
                    22 lines
            
             | 644 B
            
                | text/x-csharp
            
             |
                CSharpLexer
            
             / Implab / Automaton / CDFADefinition.cs
          
                    History
                
                 |
                  Annotation
                 | Raw
                 |Copy content
                 |Copy permalink

      namespace Implab.Automaton {

          public class CDFADefinition : DFADefinition {

              readonly CharAlphabet m_alphabet;

              public CharAlphabet Alphabet {

                  get { return m_alphabet; }

              }

              public CDFADefinition(CharAlphabet alphabet): base(alphabet.Count) {

                  m_alphabet = alphabet;

              }

              public CDFADefinition Optimize() {

                  return (CDFADefinition)Optimize(alphabet => new CDFADefinition((CharAlphabet)alphabet), m_alphabet, new CharAlphabet());

              }

              public void PrintDFA() {

                  PrintDFA(m_alphabet);

              }

          }

      }

	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

				namespace Implab.Automaton {
				public class CDFADefinition : DFADefinition {
				readonly CharAlphabet m_alphabet;

				public CharAlphabet Alphabet {
				get { return m_alphabet; }
				}

				public CDFADefinition(CharAlphabet alphabet): base(alphabet.Count) {
				m_alphabet = alphabet;
				}

				public CDFADefinition Optimize() {

				return (CDFADefinition)Optimize(alphabet => new CDFADefinition((CharAlphabet)alphabet), m_alphabet, new CharAlphabet());
				}

				public void PrintDFA() {
				PrintDFA(m_alphabet);
				}
				}
				}