protected override void InitDFAs()
{
base.InitDFAs();
dfa1 = new DFA1( this, SpecialStateTransition1 );
dfa2 = new DFA2( this, SpecialStateTransition2 );
dfa8 = new DFA8( this, SpecialStateTransition8 );
dfa24 = new DFA24( this );
dfa39 = new DFA39( this, SpecialStateTransition39 );
dfa41 = new DFA41( this, SpecialStateTransition41 );
dfa42 = new DFA42( this, SpecialStateTransition42 );
dfa44 = new DFA44( this, SpecialStateTransition44 );
dfa46 = new DFA46( this, SpecialStateTransition46 );
dfa47 = new DFA47( this, SpecialStateTransition47 );
dfa58 = new DFA58( this, SpecialStateTransition58 );
dfa60 = new DFA60( this, SpecialStateTransition60 );
dfa123 = new DFA123( this, SpecialStateTransition123 );
dfa146 = new DFA146( this );
}
private void InitializeCyclicDFAs()
{
this.dfa1 = new DFA1(this);
this.dfa1.specialStateTransitionHandler = new DFA.SpecialStateTransitionHandler(DFA1_SpecialStateTransition);
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa1 = new DFA1( this );
}
private void InitializeCyclicDFAs()
{
this.dfa1 = new DFA1(this);
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa1 = new DFA1(this);
dfa9 = new DFA9(this, SpecialStateTransition9);
}
private void InitializeCyclicDFAs()
{
this.dfa1 = new DFA1(this);
this.dfa13 = new DFA13(this);
this.dfa15 = new DFA15(this);
this.dfa17 = new DFA17(this);
this.dfa1.specialStateTransitionHandler = new DFA.SpecialStateTransitionHandler(DFA1_SpecialStateTransition);
this.dfa13.specialStateTransitionHandler = new DFA.SpecialStateTransitionHandler(DFA13_SpecialStateTransition);
this.dfa15.specialStateTransitionHandler = new DFA.SpecialStateTransitionHandler(DFA15_SpecialStateTransition);
this.dfa17.specialStateTransitionHandler = new DFA.SpecialStateTransitionHandler(DFA17_SpecialStateTransition);
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa1 = new DFA1(this);
dfa9 = new DFA9(this, SpecialStateTransition9);
}
private void InitializeCyclicDFAs()
{
this.dfa1 = new DFA1(this);
this.dfa2 = new DFA2(this);
this.dfa6 = new DFA6(this);
this.dfa14 = new DFA14(this);
this.dfa22 = new DFA22(this);
this.dfa24 = new DFA24(this);
this.dfa26 = new DFA26(this);
this.dfa27 = new DFA27(this);
this.dfa31 = new DFA31(this);
this.dfa36 = new DFA36(this);
this.dfa38 = new DFA38(this);
this.dfa37 = new DFA37(this);
}
private void InitializeCyclicDFAs()
{
this.dfa1 = new DFA1(this);
this.dfa9 = new DFA9(this);
this.dfa12 = new DFA12(this);
this.dfa21 = new DFA21(this);
}
