Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: transform/exbgf/extracted
Source used for this grammar: Vadim Zaytsev, Software Language Engineering by Intentional Rewriting, EC-EASST/SQM 2014 [Read]
sequence), 1 root (sequence), 0 top (—), 67 bottom (atomicH, inlineV, inlineU, extract-twice, shieldedD, unfoldV, unfold, promoteY2S, redefineH, atomicC, foldY, addX, narrowS21, chainX, massage12C, widen12S, deyaccifyH, chainV, extractV, addV, distributeV, massageO2C, massageC2O, double-inline, yaccifyH, widen12P, narrowP21, massage-double, narrowO21, widen12O, regroupLR, removeV, factor-out, deyaccifyC, renameN, reextract, tempunfold, redefine, shieldedU, defineH, massageOP2S, atomicV, reextractY, atomic, unite-many, massage1S2P, inlineYH, shielded, addH, distributeH, massageS12P, regroupRL, inlineYF, pull-out, unfoldY, atomicI, metachangeT2N, massageC2S, widenP2S, promoteP2S, inlineYO, eliminate-many, introduceH, removeH, extractC, reyaccify, inlineY).sequence ::= atomicshieldedshieldedDshieldedUtempunfoldatomicIatomicCatomicHatomicVyaccifyHdeyaccifyHdeyaccifyCregroupLRregroupRLmassage1S2PmassageS12PmassageC2Smassage12CmassageO2CmassageC2Omassage-doublemassageOP2SpromoteP2SpromoteY2Sdouble-inlineinlineYOinlineYFunite-manyeliminate-manydistributeVdistributeHinlineYinlineYHinlineVinlineUchainVchainXintroduceHdefineHreyaccifyreextractreextractYextract-twiceredefineredefineHmetachangeT2NrenameNaddVaddHaddXremoveVremoveHextractVextractCnarrowS21narrowP21narrowO21widen12Owiden12Swiden12PwidenP2SunfoldVunfoldunfoldYfoldYfactor-outpull-out
