Example #1
0
 public DfaPlumber(Dfa dfa)
 {
     SetDfa(dfa);
 }
Example #2
0
 public DfaMinimizer(Dfa dfa)
     : base(dfa)
 {
 }
Example #3
0
 protected void SetDfa(Dfa dfa)
 {
     Dfa         = dfa;
     this.states = VisitStates();
 }