protected override void InitDFAs()
{
base.InitDFAs();
dfa5 = new DFA5( this );
dfa12 = new DFA12( this );
dfa16 = new DFA16( this );
dfa19 = new DFA19( this );
dfa22 = new DFA22( this );
dfa25 = new DFA25( this );
dfa48 = new DFA48( this );
dfa51 = new DFA51( this );
dfa54 = new DFA54( this );
dfa84 = new DFA84( this );
dfa88 = new DFA88( this );
dfa87 = new DFA87( this );
dfa101 = new DFA101( this );
dfa120 = new DFA120( this );
dfa119 = new DFA119( this );
dfa127 = new DFA127( this );
dfa130 = new DFA130( this );
dfa154 = new DFA154( this );
dfa153 = new DFA153( this );
dfa171 = new DFA171( this );
dfa174 = new DFA174( this );
dfa177 = new DFA177( this );
dfa180 = new DFA180( this );
dfa183 = new DFA183( this );
dfa186 = new DFA186( this );
dfa189 = new DFA189( this );
dfa192 = new DFA192( this );
dfa195 = new DFA195( this );
dfa198 = new DFA198( this );
dfa201 = new DFA201( this );
dfa204 = new DFA204( this );
dfa208 = new DFA208( this );
dfa212 = new DFA212( this );
dfa216 = new DFA216( this );
dfa224 = new DFA224( this );
dfa238 = new DFA238( this );
dfa237 = new DFA237( this );
dfa243 = new DFA243( this );
}
protected override void InitDFAs()
{
base.InitDFAs();
dfa3 = new DFA3( this );
dfa13 = new DFA13( this );
dfa12 = new DFA12( this );
dfa18 = new DFA18( this );
dfa27 = new DFA27( this, SpecialStateTransition27 );
dfa33 = new DFA33( this, SpecialStateTransition33 );
dfa44 = new DFA44( this );
dfa43 = new DFA43( this );
dfa51 = new DFA51( this );
dfa57 = new DFA57( this );
dfa63 = new DFA63( this );
dfa66 = new DFA66( this );
dfa69 = new DFA69( this );
dfa72 = new DFA72( this );
dfa75 = new DFA75( this );
dfa78 = new DFA78( this );
dfa81 = new DFA81( this );
dfa84 = new DFA84( this );
dfa87 = new DFA87( this );
dfa90 = new DFA90( this );
dfa93 = new DFA93( this );
dfa96 = new DFA96( this );
dfa99 = new DFA99( this );
dfa104 = new DFA104( this );
dfa109 = new DFA109( this );
dfa118 = new DFA118( this );
dfa121 = new DFA121( this );
dfa128 = new DFA128( this );
dfa134 = new DFA134( this );
dfa137 = new DFA137( this );
dfa169 = new DFA169( this );
dfa172 = new DFA172( this );
dfa175 = new DFA175( this );
dfa206 = new DFA206( this );
dfa210 = new DFA210( this );
dfa209 = new DFA209( this );
dfa256 = new DFA256( this );
dfa255 = new DFA255( this );
dfa264 = new DFA264( this );
dfa267 = new DFA267( this );
dfa276 = new DFA276( this );
dfa277 = new DFA277( this );
dfa310 = new DFA310( this );
dfa313 = new DFA313( this );
dfa331 = new DFA331( this );
}
