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 ); }