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 ); }
protected override void InitDFAs() { base.InitDFAs(); dfa4 = new DFA4( this ); dfa17 = new DFA17( this ); dfa16 = new DFA16( this ); dfa27 = new DFA27( this ); dfa32 = new DFA32( this ); dfa35 = new DFA35( this ); dfa61 = new DFA61( this ); dfa64 = new DFA64( this ); dfa67 = new DFA67( this ); dfa97 = new DFA97( this ); dfa101 = new DFA101( this ); dfa100 = new DFA100( this ); dfa114 = new DFA114( this ); dfa123 = new DFA123( this ); dfa126 = new DFA126( this ); dfa150 = new DFA150( this ); dfa149 = new DFA149( this ); dfa159 = new DFA159( this ); dfa164 = new DFA164( this ); dfa167 = new DFA167( this ); dfa170 = new DFA170( this ); dfa173 = new DFA173( this ); dfa176 = new DFA176( this ); dfa179 = new DFA179( this ); dfa182 = new DFA182( this ); dfa185 = new DFA185( this ); dfa188 = new DFA188( this ); dfa191 = new DFA191( this ); dfa194 = new DFA194( this ); dfa198 = new DFA198( this ); dfa202 = new DFA202( this ); dfa206 = new DFA206( this ); dfa210 = new DFA210( this ); dfa214 = new DFA214( this ); dfa222 = new DFA222( this ); dfa234 = new DFA234( this ); dfa233 = new DFA233( this ); dfa240 = new DFA240( this ); dfa239 = new DFA239( this ); }