T_improvedInCRule.model 159 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082308330843085308630873088308930903091309230933094309530963097309830993100310131023103310431053106310731083109311031113112311331143115311631173118311931203121312231233124312531263127312831293130313131323133313431353136313731383139314031413142314331443145314631473148314931503151315231533154315531563157315831593160316131623163316431653166316731683169317031713172317331743175317631773178317931803181318231833184318531863187318831893190319131923193319431953196319731983199320032013202320332043205320632073208320932103211321232133214321532163217321832193220322132223223322432253226322732283229323032313232323332343235323632373238323932403241324232433244324532463247324832493250325132523253325432553256325732583259326032613262326332643265326632673268326932703271327232733274327532763277327832793280328132823283328432853286328732883289329032913292329332943295329632973298329933003301330233033304330533063307330833093310331133123313331433153316331733183319332033213322332333243325332633273328332933303331333233333334333533363337333833393340334133423343334433453346334733483349335033513352335333543355335633573358335933603361336233633364336533663367336833693370337133723373337433753376337733783379338033813382338333843385338633873388338933903391339233933394339533963397339833993400340134023403340434053406340734083409341034113412341334143415341634173418341934203421342234233424342534263427342834293430343134323433343434353436343734383439344034413442344334443445344634473448344934503451345234533454345534563457345834593460346134623463346434653466346734683469347034713472347334743475347634773478347934803481348234833484348534863487348834893490349134923493349434953496349734983499350035013502350335043505350635073508350935103511351235133514351535163517351835193520352135223523352435253526352735283529353035313532353335343535353635373538353935403541354235433544354535463547354835493550355135523553355435553556355735583559356035613562356335643565356635673568356935703571357235733574357535763577357835793580358135823583358435853586358735883589359035913592359335943595359635973598359936003601360236033604360536063607360836093610361136123613361436153616361736183619362036213622362336243625362636273628362936303631363236333634363536363637363836393640364136423643364436453646364736483649365036513652365336543655365636573658365936603661366236633664366536663667366836693670367136723673367436753676367736783679368036813682368336843685368636873688368936903691369236933694369536963697369836993700370137023703370437053706370737083709371037113712371337143715371637173718371937203721372237233724372537263727372837293730373137323733373437353736373737383739374037413742374337443745374637473748374937503751375237533754375537563757375837593760376137623763376437653766376737683769377037713772377337743775377637773778377937803781378237833784378537863787378837893790379137923793379437953796379737983799380038013802380338043805380638073808380938103811381238133814381538163817381838193820382138223823382438253826382738283829383038313832383338343835383638373838383938403841384238433844384538463847384838493850385138523853385438553856385738583859386038613862386338643865386638673868386938703871387238733874387538763877387838793880388138823883388438853886388738883889389038913892389338943895389638973898389939003901390239033904390539063907390839093910391139123913391439153916391739183919392039213922392339243925392639273928392939303931393239333934393539363937393839393940394139423943394439453946394739483949395039513952395339543955395639573958395939603961396239633964396539663967396839693970397139723973397439753976397739783979398039813982398339843985398639873988398939903991399239933994399539963997399839994000400140024003400440054006400740084009401040114012401340144015401640174018401940204021402240234024402540264027402840294030403140324033403440354036403740384039404040414042404340444045404640474048404940504051405240534054405540564057405840594060406140624063406440654066406740684069407040714072407340744075407640774078407940804081408240834084408540864087408840894090409140924093409440954096409740984099410041014102410341044105410641074108410941104111411241134114411541164117411841194120412141224123412441254126412741284129413041314132413341344135413641374138413941404141414241434144414541464147414841494150415141524153415441554156415741584159416041614162416341644165416641674168416941704171417241734174417541764177417841794180418141824183418441854186418741884189419041914192419341944195419641974198419942004201420242034204420542064207420842094210421142124213421442154216421742184219422042214222422342244225422642274228422942304231423242334234423542364237423842394240424142424243424442454246424742484249425042514252425342544255425642574258425942604261426242634264426542664267426842694270427142724273427442754276427742784279428042814282428342844285428642874288428942904291429242934294429542964297429842994300430143024303430443054306430743084309431043114312431343144315431643174318431943204321432243234324432543264327432843294330433143324333433443354336433743384339434043414342434343444345434643474348434943504351435243534354435543564357435843594360436143624363436443654366436743684369437043714372437343744375437643774378437943804381438243834384438543864387438843894390439143924393439443954396439743984399440044014402440344044405440644074408440944104411441244134414441544164417441844194420442144224423442444254426442744284429443044314432443344344435443644374438443944404441444244434444444544464447444844494450445144524453445444554456445744584459446044614462446344644465446644674468446944704471447244734474447544764477447844794480448144824483448444854486448744884489449044914492449344944495449644974498449945004501450245034504450545064507450845094510451145124513451445154516451745184519452045214522452345244525452645274528452945304531453245334534453545364537453845394540454145424543454445454546454745484549455045514552455345544555455645574558455945604561456245634564456545664567456845694570457145724573457445754576457745784579458045814582458345844585458645874588458945904591459245934594459545964597459845994600460146024603460446054606460746084609461046114612461346144615461646174618461946204621462246234624462546264627462846294630463146324633463446354636463746384639464046414642464346444645464646474648464946504651465246534654465546564657465846594660466146624663466446654666466746684669467046714672467346744675467646774678467946804681468246834684468546864687468846894690469146924693469446954696469746984699470047014702470347044705470647074708470947104711471247134714471547164717471847194720472147224723472447254726472747284729473047314732473347344735473647374738473947404741474247434744474547464747474847494750475147524753475447554756475747584759476047614762476347644765476647674768476947704771477247734774477547764777477847794780478147824783478447854786478747884789479047914792479347944795479647974798479948004801480248034804480548064807480848094810481148124813481448154816481748184819482048214822482348244825482648274828482948304831483248334834483548364837483848394840484148424843484448454846484748484849485048514852485348544855485648574858485948604861486248634864486548664867486848694870487148724873487448754876487748784879488048814882488348844885488648874888488948904891489248934894489548964897489848994900490149024903490449054906490749084909491049114912491349144915491649174918491949204921492249234924492549264927492849294930493149324933493449354936493749384939494049414942494349444945494649474948494949504951495249534954495549564957495849594960496149624963496449654966496749684969497049714972497349744975497649774978497949804981498249834984498549864987498849894990499149924993499449954996499749984999500050015002500350045005500650075008500950105011501250135014501550165017501850195020502150225023502450255026502750285029503050315032503350345035503650375038503950405041504250435044504550465047504850495050505150525053505450555056505750585059506050615062506350645065506650675068506950705071507250735074507550765077507850795080508150825083508450855086508750885089509050915092509350945095509650975098509951005101510251035104510551065107510851095110511151125113511451155116511751185119512051215122512351245125512651275128512951305131513251335134513551365137513851395140514151425143514451455146514751485149515051515152515351545155515651575158515951605161516251635164516551665167516851695170517151725173517451755176517751785179518051815182518351845185518651875188518951905191519251935194519551965197519851995200520152025203520452055206520752085209521052115212521352145215521652175218521952205221522252235224522552265227522852295230523152325233523452355236523752385239524052415242524352445245524652475248524952505251525252535254525552565257525852595260526152625263526452655266526752685269527052715272527352745275527652775278527952805281528252835284528552865287528852895290529152925293529452955296529752985299530053015302530353045305530653075308530953105311531253135314531553165317531853195320532153225323532453255326532753285329533053315332533353345335533653375338533953405341534253435344534553465347534853495350535153525353535453555356535753585359536053615362536353645365536653675368536953705371537253735374537553765377537853795380538153825383538453855386538753885389539053915392539353945395539653975398539954005401540254035404540554065407540854095410541154125413541454155416541754185419542054215422542354245425542654275428542954305431543254335434543554365437543854395440544154425443544454455446544754485449545054515452545354545455545654575458545954605461546254635464546554665467546854695470547154725473547454755476547754785479548054815482548354845485548654875488548954905491549254935494549554965497549854995500550155025503550455055506550755085509551055115512551355145515551655175518551955205521552255235524552555265527552855295530553155325533553455355536553755385539554055415542554355445545554655475548554955505551555255535554555555565557555855595560556155625563556455655566556755685569557055715572557355745575557655775578557955805581558255835584558555865587558855895590559155925593559455955596559755985599560056015602560356045605560656075608560956105611561256135614561556165617561856195620562156225623562456255626562756285629563056315632563356345635563656375638563956405641564256435644564556465647564856495650565156525653565456555656565756585659566056615662566356645665566656675668566956705671567256735674567556765677567856795680568156825683568456855686568756885689569056915692569356945695569656975698569957005701570257035704570557065707570857095710571157125713571457155716571757185719572057215722572357245725572657275728572957305731573257335734573557365737573857395740574157425743574457455746574757485749575057515752575357545755575657575758575957605761576257635764576557665767576857695770577157725773577457755776577757785779578057815782578357845785578657875788578957905791579257935794579557965797579857995800580158025803580458055806580758085809581058115812581358145815581658175818581958205821582258235824582558265827582858295830583158325833583458355836583758385839584058415842584358445845584658475848584958505851585258535854585558565857585858595860586158625863586458655866586758685869587058715872587358745875587658775878587958805881588258835884588558865887588858895890589158925893589458955896589758985899590059015902590359045905590659075908590959105911591259135914591559165917591859195920592159225923592459255926592759285929593059315932593359345935593659375938593959405941594259435944594559465947594859495950595159525953595459555956595759585959596059615962596359645965596659675968596959705971597259735974597559765977597859795980598159825983598459855986598759885989599059915992599359945995599659975998599960006001600260036004600560066007600860096010601160126013601460156016601760186019602060216022602360246025602660276028602960306031603260336034603560366037603860396040604160426043604460456046604760486049605060516052605360546055605660576058605960606061606260636064606560666067606860696070607160726073607460756076607760786079608060816082608360846085608660876088608960906091609260936094609560966097609860996100610161026103610461056106610761086109611061116112611361146115611661176118611961206121612261236124612561266127612861296130613161326133613461356136613761386139614061416142614361446145614661476148614961506151615261536154615561566157615861596160616161626163616461656166616761686169617061716172617361746175617661776178617961806181618261836184618561866187618861896190619161926193619461956196619761986199620062016202620362046205620662076208620962106211621262136214621562166217621862196220622162226223622462256226622762286229623062316232623362346235623662376238623962406241624262436244624562466247624862496250625162526253625462556256625762586259626062616262626362646265626662676268626962706271627262736274627562766277627862796280628162826283628462856286628762886289629062916292629362946295629662976298629963006301630263036304630563066307630863096310631163126313631463156316631763186319632063216322632363246325
  1. {
  2. "csm": {
  3. "nodes": {
  4. "0": {
  5. "typename": {
  6. "type": "string",
  7. "value": "StartIcon"
  8. },
  9. "position": {
  10. "type": "list<double>",
  11. "value": [
  12. 661,
  13. 200
  14. ]
  15. },
  16. "orientation": {
  17. "type": "double",
  18. "value": 0
  19. },
  20. "scale": {
  21. "type": "list<double>",
  22. "value": [
  23. 1,
  24. 1
  25. ]
  26. },
  27. "mapper": {
  28. "type": "code",
  29. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  30. },
  31. "parser": {
  32. "type": "code",
  33. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  34. },
  35. "$contents": {
  36. "type": "map<string,*>",
  37. "value": {
  38. "nodes": {
  39. "21": {
  40. "r": {
  41. "type": "double",
  42. "value": 10
  43. },
  44. "style": {
  45. "type": "map<string,string>",
  46. "value": {
  47. "stroke": "#000000",
  48. "stroke-dasharray": "",
  49. "fill": "#000000",
  50. "fill-opacity": 0.75,
  51. "font-size": "20px",
  52. "stroke-width": 0,
  53. "arrow-start": "none",
  54. "arrow-end": "none"
  55. }
  56. },
  57. "mapper": {
  58. "type": "code",
  59. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  60. },
  61. "parser": {
  62. "type": "code",
  63. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  64. },
  65. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  66. "position": {
  67. "type": "list<double>",
  68. "value": [
  69. 3,
  70. 2
  71. ]
  72. },
  73. "orientation": {
  74. "type": "double",
  75. "value": 0
  76. },
  77. "scale": {
  78. "type": "list<double>",
  79. "value": [
  80. 1,
  81. 1
  82. ]
  83. }
  84. }
  85. },
  86. "edges": []
  87. }
  88. },
  89. "$asuri": {
  90. "type": "string",
  91. "value": "/Formalisms/__Transformations__/Transformation/MoTif/Start/0.instance"
  92. },
  93. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon"
  94. },
  95. "6": {
  96. "typename": {
  97. "type": "string",
  98. "value": "EndSuccessIcon"
  99. },
  100. "position": {
  101. "type": "list<double>",
  102. "value": [
  103. 472,
  104. 751
  105. ]
  106. },
  107. "orientation": {
  108. "type": "double",
  109. "value": 0
  110. },
  111. "scale": {
  112. "type": "list<double>",
  113. "value": [
  114. 1,
  115. 1
  116. ]
  117. },
  118. "mapper": {
  119. "type": "code",
  120. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  121. },
  122. "parser": {
  123. "type": "code",
  124. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  125. },
  126. "$contents": {
  127. "type": "map<string,*>",
  128. "value": {
  129. "nodes": {
  130. "23": {
  131. "r": {
  132. "type": "double",
  133. "value": 10
  134. },
  135. "style": {
  136. "type": "map<string,string>",
  137. "value": {
  138. "stroke": "#008000",
  139. "stroke-dasharray": "",
  140. "fill": "none",
  141. "fill-opacity": 1,
  142. "font-size": "20px",
  143. "stroke-width": 2,
  144. "arrow-start": "none",
  145. "arrow-end": "none",
  146. "": ""
  147. }
  148. },
  149. "mapper": {
  150. "type": "code",
  151. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  152. },
  153. "parser": {
  154. "type": "code",
  155. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  156. },
  157. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  158. "position": {
  159. "type": "list<double>",
  160. "value": [
  161. 2,
  162. 2
  163. ]
  164. },
  165. "orientation": {
  166. "type": "double",
  167. "value": 0
  168. },
  169. "scale": {
  170. "type": "list<double>",
  171. "value": [
  172. 1,
  173. 1
  174. ]
  175. }
  176. },
  177. "26": {
  178. "r": {
  179. "type": "double",
  180. "value": 5
  181. },
  182. "style": {
  183. "type": "map<string,string>",
  184. "value": {
  185. "stroke": "#000000",
  186. "stroke-dasharray": "",
  187. "fill": "#008000",
  188. "fill-opacity": 1,
  189. "font-size": "20px",
  190. "stroke-width": 0,
  191. "arrow-start": "none",
  192. "arrow-end": "none",
  193. "": ""
  194. }
  195. },
  196. "mapper": {
  197. "type": "code",
  198. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  199. },
  200. "parser": {
  201. "type": "code",
  202. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  203. },
  204. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  205. "position": {
  206. "type": "list<double>",
  207. "value": [
  208. 7,
  209. 7
  210. ]
  211. },
  212. "orientation": {
  213. "type": "double",
  214. "value": 0
  215. },
  216. "scale": {
  217. "type": "list<double>",
  218. "value": [
  219. 1,
  220. 1
  221. ]
  222. }
  223. },
  224. "27": {
  225. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  226. "position": {
  227. "type": "list<double>",
  228. "value": [
  229. 7.492540538484263,
  230. 6.5
  231. ]
  232. },
  233. "orientation": {
  234. "type": "double",
  235. "value": 0
  236. },
  237. "scale": {
  238. "type": "list<double>",
  239. "value": [
  240. 1,
  241. 1
  242. ]
  243. },
  244. "link-style": {
  245. "type": "map<string,string>",
  246. "value": {
  247. "stroke": "#00ffff",
  248. "stroke-dasharray": "",
  249. "stroke-opacity": 0.1,
  250. "stroke-width": 1
  251. }
  252. }
  253. }
  254. },
  255. "edges": [
  256. {
  257. "src": "23",
  258. "dest": "27"
  259. },
  260. {
  261. "src": "27",
  262. "dest": "26"
  263. }
  264. ]
  265. }
  266. },
  267. "$asuri": {
  268. "type": "string",
  269. "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess/6.instance"
  270. },
  271. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon"
  272. },
  273. "7": {
  274. "typename": {
  275. "type": "string",
  276. "value": "EndFailIcon"
  277. },
  278. "position": {
  279. "type": "list<double>",
  280. "value": [
  281. 830,
  282. 739
  283. ]
  284. },
  285. "orientation": {
  286. "type": "double",
  287. "value": 0
  288. },
  289. "scale": {
  290. "type": "list<double>",
  291. "value": [
  292. 1,
  293. 1
  294. ]
  295. },
  296. "mapper": {
  297. "type": "code",
  298. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  299. },
  300. "parser": {
  301. "type": "code",
  302. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  303. },
  304. "$contents": {
  305. "type": "map<string,*>",
  306. "value": {
  307. "nodes": {
  308. "451": {
  309. "r": {
  310. "type": "double",
  311. "value": 10
  312. },
  313. "style": {
  314. "type": "map<string,string>",
  315. "value": {
  316. "stroke": "#800000",
  317. "stroke-dasharray": "",
  318. "fill": "none",
  319. "fill-opacity": 1,
  320. "font-size": "20px",
  321. "stroke-width": 2,
  322. "arrow-start": "none",
  323. "arrow-end": "none",
  324. "": ""
  325. }
  326. },
  327. "mapper": {
  328. "type": "code",
  329. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  330. },
  331. "parser": {
  332. "type": "code",
  333. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  334. },
  335. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  336. "position": {
  337. "type": "list<double>",
  338. "value": [
  339. 2,
  340. 1
  341. ]
  342. },
  343. "orientation": {
  344. "type": "double",
  345. "value": 0
  346. },
  347. "scale": {
  348. "type": "list<double>",
  349. "value": [
  350. 1,
  351. 1
  352. ]
  353. }
  354. },
  355. "455": {
  356. "segments": {
  357. "type": "string",
  358. "value": "M 12.49983,1.5069319 1.50001,12.506752"
  359. },
  360. "style": {
  361. "type": "map<string,string>",
  362. "value": {
  363. "fill": "none",
  364. "stroke": "#800000",
  365. "stroke-width": "3",
  366. "stroke-linecap": "round",
  367. "stroke-linejoin": "round",
  368. "stroke-miterlimit": "4",
  369. "stroke-opacity": "1",
  370. "stroke-dasharray": "none"
  371. }
  372. },
  373. "mapper": {
  374. "type": "code",
  375. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  376. },
  377. "parser": {
  378. "type": "code",
  379. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  380. },
  381. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  382. "position": {
  383. "type": "list<double>",
  384. "value": [
  385. 5,
  386. 4
  387. ]
  388. },
  389. "orientation": {
  390. "type": "double",
  391. "value": 0
  392. },
  393. "scale": {
  394. "type": "list<double>",
  395. "value": [
  396. 1,
  397. 1
  398. ]
  399. }
  400. },
  401. "456": {
  402. "segments": {
  403. "type": "string",
  404. "value": "M 1.5,1.5069319 12.49983,12.506752"
  405. },
  406. "style": {
  407. "type": "map<string,string>",
  408. "value": {
  409. "fill": "none",
  410. "stroke": "#800000",
  411. "stroke-width": "3",
  412. "stroke-linecap": "round",
  413. "stroke-linejoin": "round",
  414. "stroke-miterlimit": "4",
  415. "stroke-opacity": "1",
  416. "stroke-dasharray": "none"
  417. }
  418. },
  419. "mapper": {
  420. "type": "code",
  421. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  422. },
  423. "parser": {
  424. "type": "code",
  425. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  426. },
  427. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  428. "position": {
  429. "type": "list<double>",
  430. "value": [
  431. 5,
  432. 4
  433. ]
  434. },
  435. "orientation": {
  436. "type": "double",
  437. "value": 0
  438. },
  439. "scale": {
  440. "type": "list<double>",
  441. "value": [
  442. 1,
  443. 1
  444. ]
  445. }
  446. },
  447. "457": {
  448. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  449. "position": {
  450. "type": "list<double>",
  451. "value": [
  452. 7.363811097006419,
  453. 5.348023328271552
  454. ]
  455. },
  456. "orientation": {
  457. "type": "double",
  458. "value": 0
  459. },
  460. "scale": {
  461. "type": "list<double>",
  462. "value": [
  463. 1,
  464. 1
  465. ]
  466. },
  467. "link-style": {
  468. "type": "map<string,string>",
  469. "value": {
  470. "stroke": "#00ffff",
  471. "stroke-dasharray": "",
  472. "stroke-opacity": 0.1,
  473. "stroke-width": 1
  474. }
  475. }
  476. },
  477. "458": {
  478. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  479. "position": {
  480. "type": "list<double>",
  481. "value": [
  482. 7.3638135362075445,
  483. 5.348023328271552
  484. ]
  485. },
  486. "orientation": {
  487. "type": "double",
  488. "value": 0
  489. },
  490. "scale": {
  491. "type": "list<double>",
  492. "value": [
  493. 1,
  494. 1
  495. ]
  496. },
  497. "link-style": {
  498. "type": "map<string,string>",
  499. "value": {
  500. "stroke": "#00ffff",
  501. "stroke-dasharray": "",
  502. "stroke-opacity": 0.1,
  503. "stroke-width": 1
  504. }
  505. }
  506. }
  507. },
  508. "edges": [
  509. {
  510. "src": "451",
  511. "dest": "457"
  512. },
  513. {
  514. "src": "457",
  515. "dest": "455"
  516. },
  517. {
  518. "src": "451",
  519. "dest": "458"
  520. },
  521. {
  522. "src": "458",
  523. "dest": "456"
  524. }
  525. ]
  526. }
  527. },
  528. "$asuri": {
  529. "type": "string",
  530. "value": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail/7.instance"
  531. },
  532. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon"
  533. },
  534. "84": {
  535. "typename": {
  536. "type": "string",
  537. "value": "CRuleIcon"
  538. },
  539. "position": {
  540. "type": "list<double>",
  541. "value": [
  542. 564,
  543. 417
  544. ]
  545. },
  546. "orientation": {
  547. "type": "double",
  548. "value": 0
  549. },
  550. "scale": {
  551. "type": "list<double>",
  552. "value": [
  553. 1,
  554. 1
  555. ]
  556. },
  557. "mapper": {
  558. "type": "code",
  559. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  560. },
  561. "parser": {
  562. "type": "code",
  563. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  564. },
  565. "$contents": {
  566. "type": "map<string,*>",
  567. "value": {
  568. "nodes": {
  569. "596": {
  570. "segments": {
  571. "type": "string",
  572. "value": "M 1.5,1.5069319 12.49983,12.506752"
  573. },
  574. "style": {
  575. "type": "map<string,string>",
  576. "value": {
  577. "fill": "none",
  578. "stroke": "#008000",
  579. "stroke-width": "3",
  580. "stroke-linecap": "round",
  581. "stroke-linejoin": "round",
  582. "stroke-miterlimit": "4",
  583. "stroke-opacity": "1",
  584. "stroke-dasharray": "none"
  585. }
  586. },
  587. "mapper": {
  588. "type": "code",
  589. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  590. },
  591. "parser": {
  592. "type": "code",
  593. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  594. },
  595. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  596. "position": {
  597. "type": "list<double>",
  598. "value": [
  599. 144,
  600. 86
  601. ]
  602. },
  603. "orientation": {
  604. "type": "double",
  605. "value": 0
  606. },
  607. "scale": {
  608. "type": "list<double>",
  609. "value": [
  610. 1,
  611. 1
  612. ]
  613. }
  614. },
  615. "597": {
  616. "segments": {
  617. "type": "string",
  618. "value": "M 1,10.3685 7.03183,20.737 13.06367,10.3685 z"
  619. },
  620. "style": {
  621. "type": "map<string,string>",
  622. "value": {
  623. "fill": "none",
  624. "stroke": "#008000",
  625. "stroke-width": "3",
  626. "stroke-linecap": "butt",
  627. "stroke-linejoin": "miter",
  628. "stroke-miterlimit": "4",
  629. "stroke-opacity": "1"
  630. }
  631. },
  632. "mapper": {
  633. "type": "code",
  634. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  635. },
  636. "parser": {
  637. "type": "code",
  638. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  639. },
  640. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  641. "position": {
  642. "type": "list<double>",
  643. "value": [
  644. 95,
  645. 1
  646. ]
  647. },
  648. "orientation": {
  649. "type": "double",
  650. "value": 0
  651. },
  652. "scale": {
  653. "type": "list<double>",
  654. "value": [
  655. 1,
  656. 1
  657. ]
  658. }
  659. },
  660. "598": {
  661. "segments": {
  662. "type": "string",
  663. "value": "M 12.49983,1.5069319 1.50001,12.506752"
  664. },
  665. "style": {
  666. "type": "map<string,string>",
  667. "value": {
  668. "fill": "none",
  669. "stroke": "#008000",
  670. "stroke-width": "3",
  671. "stroke-linecap": "round",
  672. "stroke-linejoin": "round",
  673. "stroke-miterlimit": "4",
  674. "stroke-opacity": "1",
  675. "stroke-dasharray": "none"
  676. }
  677. },
  678. "mapper": {
  679. "type": "code",
  680. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  681. },
  682. "parser": {
  683. "type": "code",
  684. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  685. },
  686. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  687. "position": {
  688. "type": "list<double>",
  689. "value": [
  690. 144,
  691. 86
  692. ]
  693. },
  694. "orientation": {
  695. "type": "double",
  696. "value": 0
  697. },
  698. "scale": {
  699. "type": "list<double>",
  700. "value": [
  701. 1,
  702. 1
  703. ]
  704. }
  705. },
  706. "600": {
  707. "segments": {
  708. "type": "string",
  709. "value": "M 0.01697481,7.2449841 2.4082848,10.044684 11.016975,1.5335841"
  710. },
  711. "style": {
  712. "type": "map<string,string>",
  713. "value": {
  714. "fill": "none",
  715. "stroke": "#008000",
  716. "stroke-width": "3",
  717. "stroke-linecap": "round",
  718. "stroke-linejoin": "round",
  719. "stroke-miterlimit": "4",
  720. "stroke-opacity": "1",
  721. "stroke-dasharray": "none"
  722. }
  723. },
  724. "mapper": {
  725. "type": "code",
  726. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  727. },
  728. "parser": {
  729. "type": "code",
  730. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  731. },
  732. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  733. "position": {
  734. "type": "list<double>",
  735. "value": [
  736. 47,
  737. 86
  738. ]
  739. },
  740. "orientation": {
  741. "type": "double",
  742. "value": 0
  743. },
  744. "scale": {
  745. "type": "list<double>",
  746. "value": [
  747. 1,
  748. 1
  749. ]
  750. }
  751. },
  752. "601": {
  753. "width": {
  754. "type": "double",
  755. "value": 210
  756. },
  757. "height": {
  758. "type": "double",
  759. "value": 60
  760. },
  761. "cornerRadius": {
  762. "type": "double",
  763. "value": 1
  764. },
  765. "style": {
  766. "type": "map<string,string>",
  767. "value": {
  768. "fill": "#ffffff",
  769. "stroke": "#008000",
  770. "stroke-width": "3",
  771. "stroke-linecap": "butt",
  772. "stroke-linejoin": "miter",
  773. "stroke-miterlimit": "4",
  774. "stroke-opacity": "1",
  775. "fill-opacity": "0.5"
  776. }
  777. },
  778. "mapper": {
  779. "type": "code",
  780. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  781. },
  782. "parser": {
  783. "type": "code",
  784. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  785. },
  786. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  787. "position": {
  788. "type": "list<double>",
  789. "value": [
  790. 1,
  791. 24
  792. ]
  793. },
  794. "orientation": {
  795. "type": "double",
  796. "value": 0
  797. },
  798. "scale": {
  799. "type": "list<double>",
  800. "value": [
  801. 1,
  802. 1
  803. ]
  804. }
  805. },
  806. "602": {
  807. "textContent": {
  808. "type": "string",
  809. "value": ""
  810. },
  811. "style": {
  812. "type": "map<string,string>",
  813. "value": {
  814. "font-size": "20px",
  815. "font-style": "normal",
  816. "font-variant": "normal",
  817. "font-weight": "bold",
  818. "font-stretch": "normal",
  819. "text-align": "left",
  820. "line-height": "125%",
  821. "writing-mode": "lr-tb",
  822. "text-anchor": "left",
  823. "fill": "#008000",
  824. "fill-opacity": "1",
  825. "stroke": "none",
  826. "font-family": "Arial"
  827. }
  828. },
  829. "mapper": {
  830. "type": "code",
  831. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('alias')})"
  832. },
  833. "parser": {
  834. "type": "code",
  835. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  836. },
  837. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  838. "position": {
  839. "type": "list<double>",
  840. "value": [
  841. 12,
  842. 43
  843. ]
  844. },
  845. "orientation": {
  846. "type": "double",
  847. "value": 0
  848. },
  849. "scale": {
  850. "type": "list<double>",
  851. "value": [
  852. 1,
  853. 1
  854. ]
  855. }
  856. },
  857. "603": {
  858. "textContent": {
  859. "type": "string",
  860. "value": "T_improved"
  861. },
  862. "style": {
  863. "type": "map<string,string>",
  864. "value": {
  865. "font-size": "20px",
  866. "font-style": "normal",
  867. "font-variant": "normal",
  868. "font-weight": "bold",
  869. "font-stretch": "normal",
  870. "text-align": "left",
  871. "line-height": "125%",
  872. "writing-mode": "lr-tb",
  873. "text-anchor": "left",
  874. "fill": "#008000",
  875. "fill-opacity": "1",
  876. "stroke": "none",
  877. "font-family": "Arial"
  878. }
  879. },
  880. "mapper": {
  881. "type": "code",
  882. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */\n({'textContent': getAttr('name')})"
  883. },
  884. "parser": {
  885. "type": "code",
  886. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  887. },
  888. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  889. "position": {
  890. "type": "list<double>",
  891. "value": [
  892. 52,
  893. 43
  894. ]
  895. },
  896. "orientation": {
  897. "type": "double",
  898. "value": 0
  899. },
  900. "scale": {
  901. "type": "list<double>",
  902. "value": [
  903. 1,
  904. 1
  905. ]
  906. }
  907. },
  908. "604": {
  909. "width": {
  910. "type": "double",
  911. "value": 200
  912. },
  913. "height": {
  914. "type": "double",
  915. "value": 50
  916. },
  917. "cornerRadius": {
  918. "type": "double",
  919. "value": 1
  920. },
  921. "style": {
  922. "type": "map<string,string>",
  923. "value": {
  924. "fill": "none",
  925. "stroke": "#008000",
  926. "stroke-width": "3",
  927. "stroke-linecap": "butt",
  928. "stroke-linejoin": "miter",
  929. "stroke-miterlimit": "4",
  930. "stroke-opacity": "1",
  931. "fill-opacity": "0.5"
  932. }
  933. },
  934. "mapper": {
  935. "type": "code",
  936. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  937. },
  938. "parser": {
  939. "type": "code",
  940. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  941. },
  942. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Rectangle",
  943. "position": {
  944. "type": "list<double>",
  945. "value": [
  946. 6,
  947. 29
  948. ]
  949. },
  950. "orientation": {
  951. "type": "double",
  952. "value": 0
  953. },
  954. "scale": {
  955. "type": "list<double>",
  956. "value": [
  957. 1,
  958. 1
  959. ]
  960. }
  961. },
  962. "605": {
  963. "textContent": {
  964. "type": "string",
  965. "value": ":"
  966. },
  967. "style": {
  968. "type": "map<string,string>",
  969. "value": {
  970. "font-size": "20px",
  971. "font-style": "normal",
  972. "font-variant": "normal",
  973. "font-weight": "bold",
  974. "font-stretch": "normal",
  975. "text-align": "left",
  976. "line-height": "125%",
  977. "writing-mode": "lr-tb",
  978. "text-anchor": "left",
  979. "fill": "#008000",
  980. "fill-opacity": "1",
  981. "stroke": "none",
  982. "font-family": "Arial"
  983. }
  984. },
  985. "mapper": {
  986. "type": "code",
  987. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  988. },
  989. "parser": {
  990. "type": "code",
  991. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  992. },
  993. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Text",
  994. "position": {
  995. "type": "list<double>",
  996. "value": [
  997. 45,
  998. 43
  999. ]
  1000. },
  1001. "orientation": {
  1002. "type": "double",
  1003. "value": 0
  1004. },
  1005. "scale": {
  1006. "type": "list<double>",
  1007. "value": [
  1008. 1,
  1009. 1
  1010. ]
  1011. }
  1012. },
  1013. "606": {
  1014. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  1015. "position": {
  1016. "type": "list<double>",
  1017. "value": [
  1018. 27.380101318328116,
  1019. 42.57653018725193
  1020. ]
  1021. },
  1022. "orientation": {
  1023. "type": "double",
  1024. "value": 0
  1025. },
  1026. "scale": {
  1027. "type": "list<double>",
  1028. "value": [
  1029. 1,
  1030. 1
  1031. ]
  1032. },
  1033. "link-style": {
  1034. "type": "map<string,string>",
  1035. "value": {
  1036. "stroke": "#00ffff",
  1037. "stroke-dasharray": "",
  1038. "stroke-opacity": 0.1,
  1039. "stroke-width": 1
  1040. }
  1041. }
  1042. },
  1043. "607": {
  1044. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  1045. "position": {
  1046. "type": "list<double>",
  1047. "value": [
  1048. 19.861485400667107,
  1049. 42.60135036424299
  1050. ]
  1051. },
  1052. "orientation": {
  1053. "type": "double",
  1054. "value": 0
  1055. },
  1056. "scale": {
  1057. "type": "list<double>",
  1058. "value": [
  1059. 1,
  1060. 1
  1061. ]
  1062. },
  1063. "link-style": {
  1064. "type": "map<string,string>",
  1065. "value": {
  1066. "stroke": "#00ffff",
  1067. "stroke-dasharray": "",
  1068. "stroke-opacity": 0.1,
  1069. "stroke-width": 1
  1070. }
  1071. }
  1072. },
  1073. "608": {
  1074. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Contain",
  1075. "position": {
  1076. "type": "list<double>",
  1077. "value": [
  1078. 41.75,
  1079. 42.5
  1080. ]
  1081. },
  1082. "orientation": {
  1083. "type": "double",
  1084. "value": 0
  1085. },
  1086. "scale": {
  1087. "type": "list<double>",
  1088. "value": [
  1089. 1,
  1090. 1
  1091. ]
  1092. },
  1093. "link-style": {
  1094. "type": "map<string,string>",
  1095. "value": {
  1096. "stroke": "#00ffff",
  1097. "stroke-dasharray": "",
  1098. "stroke-opacity": 0.1,
  1099. "stroke-width": 1
  1100. }
  1101. }
  1102. }
  1103. },
  1104. "edges": [
  1105. {
  1106. "src": "604",
  1107. "dest": "606"
  1108. },
  1109. {
  1110. "src": "606",
  1111. "dest": "605"
  1112. },
  1113. {
  1114. "src": "604",
  1115. "dest": "607"
  1116. },
  1117. {
  1118. "src": "607",
  1119. "dest": "602"
  1120. },
  1121. {
  1122. "src": "604",
  1123. "dest": "608"
  1124. },
  1125. {
  1126. "src": "608",
  1127. "dest": "603"
  1128. }
  1129. ]
  1130. }
  1131. },
  1132. "$asuri": {
  1133. "type": "string",
  1134. "value": "/Formalisms/__Transformations__/Transformation/MoTif/CRule/84.instance"
  1135. },
  1136. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon"
  1137. },
  1138. "85": {
  1139. "link-style": {
  1140. "type": "map<string,string>",
  1141. "value": {
  1142. "stroke": "#000000",
  1143. "stroke-dasharray": "",
  1144. "stroke-opacity": 1,
  1145. "stroke-width": 2
  1146. }
  1147. },
  1148. "arrowHead": {
  1149. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1150. "value": "custom"
  1151. },
  1152. "arrowTail": {
  1153. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  1154. "value": "arrow-black"
  1155. },
  1156. "typename": {
  1157. "type": "string",
  1158. "value": "initialLink"
  1159. },
  1160. "position": {
  1161. "type": "list<double>",
  1162. "value": [
  1163. 667.4950236981728,
  1164. 323.64999995507736
  1165. ]
  1166. },
  1167. "orientation": {
  1168. "type": "double",
  1169. "value": 0
  1170. },
  1171. "scale": {
  1172. "type": "list<double>",
  1173. "value": [
  1174. 1,
  1175. 1
  1176. ]
  1177. },
  1178. "mapper": {
  1179. "type": "code",
  1180. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  1181. },
  1182. "parser": {
  1183. "type": "code",
  1184. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1185. },
  1186. "$contents": {
  1187. "type": "map<string,*>",
  1188. "value": {
  1189. "nodes": {
  1190. "267": {
  1191. "segments": {
  1192. "type": "string",
  1193. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  1194. },
  1195. "style": {
  1196. "type": "map<string,string>",
  1197. "value": {
  1198. "stroke": "#000000",
  1199. "fill": "#000000",
  1200. "opacity": 0,
  1201. "stroke-width": 1
  1202. }
  1203. },
  1204. "mapper": {
  1205. "type": "code",
  1206. "value": ""
  1207. },
  1208. "parser": {
  1209. "type": "code",
  1210. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1211. },
  1212. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1213. "position": {
  1214. "type": "list<double>",
  1215. "value": [
  1216. "0;0.5027957643164882,-3.3157114038360866%",
  1217. "0;105.48206014007792,99.94501517277624%"
  1218. ]
  1219. },
  1220. "orientation": {
  1221. "type": "double",
  1222. "value": "0;91.9001109655768"
  1223. },
  1224. "scale": {
  1225. "type": "list<double>",
  1226. "value": [
  1227. 1,
  1228. 1
  1229. ]
  1230. },
  1231. "arrow": "arrowTail",
  1232. "arrowType": "arrow-black",
  1233. "$linkDecoratorInfo": {
  1234. "type": "map<string,double>",
  1235. "value": {
  1236. "xratio": 1,
  1237. "yoffset": -4
  1238. }
  1239. }
  1240. },
  1241. "268": {
  1242. "segments": {
  1243. "type": "string",
  1244. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  1245. },
  1246. "style": {
  1247. "type": "map<string,string>",
  1248. "value": {
  1249. "stroke": "#000000",
  1250. "fill": "#000000",
  1251. "opacity": 0,
  1252. "stroke-width": 1
  1253. }
  1254. },
  1255. "mapper": {
  1256. "type": "code",
  1257. "value": ""
  1258. },
  1259. "parser": {
  1260. "type": "code",
  1261. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1262. },
  1263. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1264. "position": {
  1265. "type": "list<double>",
  1266. "value": [
  1267. "0;6.499496674683087,-3.3157114038360866%",
  1268. "0;105.68100282430811,99.94501517277624%"
  1269. ]
  1270. },
  1271. "orientation": {
  1272. "type": "double",
  1273. "value": "0;91.9001109655768"
  1274. },
  1275. "scale": {
  1276. "type": "list<double>",
  1277. "value": [
  1278. 1,
  1279. 1
  1280. ]
  1281. },
  1282. "arrow": "arrowTail",
  1283. "arrowType": "diamond-black-large",
  1284. "$linkDecoratorInfo": {
  1285. "type": "map<string,double>",
  1286. "value": {
  1287. "xratio": 1,
  1288. "yoffset": -10
  1289. }
  1290. }
  1291. },
  1292. "269": {
  1293. "r": {
  1294. "type": "double",
  1295. "value": 10
  1296. },
  1297. "style": {
  1298. "type": "map<string,string>",
  1299. "value": {
  1300. "stroke": "#000000",
  1301. "fill": "#000000",
  1302. "opacity": 0,
  1303. "stroke-width": 1
  1304. }
  1305. },
  1306. "mapper": {
  1307. "type": "code",
  1308. "value": ""
  1309. },
  1310. "parser": {
  1311. "type": "code",
  1312. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1313. },
  1314. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1315. "position": {
  1316. "type": "list<double>",
  1317. "value": [
  1318. "0;6.499496674683087,-3.3157114038360866%",
  1319. "0;105.68100282430811,99.94501517277624%"
  1320. ]
  1321. },
  1322. "orientation": {
  1323. "type": "double",
  1324. "value": "0;91.9001109655768"
  1325. },
  1326. "scale": {
  1327. "type": "list<double>",
  1328. "value": [
  1329. 1,
  1330. 1
  1331. ]
  1332. },
  1333. "arrow": "arrowTail",
  1334. "arrowType": "circle-black-large",
  1335. "$linkDecoratorInfo": {
  1336. "type": "map<string,double>",
  1337. "value": {
  1338. "xratio": 1,
  1339. "yoffset": -10
  1340. }
  1341. }
  1342. },
  1343. "270": {
  1344. "r": {
  1345. "type": "double",
  1346. "value": 10
  1347. },
  1348. "style": {
  1349. "type": "map<string,string>",
  1350. "value": {
  1351. "stroke": "#000000",
  1352. "fill": "#ffffff",
  1353. "opacity": 0,
  1354. "stroke-width": 1
  1355. }
  1356. },
  1357. "mapper": {
  1358. "type": "code",
  1359. "value": ""
  1360. },
  1361. "parser": {
  1362. "type": "code",
  1363. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1364. },
  1365. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1366. "position": {
  1367. "type": "list<double>",
  1368. "value": [
  1369. "0;6.499496674683087,-3.3157114038360866%",
  1370. "0;105.68100282430811,99.94501517277624%"
  1371. ]
  1372. },
  1373. "orientation": {
  1374. "type": "double",
  1375. "value": "0;91.9001109655768"
  1376. },
  1377. "scale": {
  1378. "type": "list<double>",
  1379. "value": [
  1380. 1,
  1381. 1
  1382. ]
  1383. },
  1384. "arrow": "arrowTail",
  1385. "arrowType": "circle-white-large",
  1386. "$linkDecoratorInfo": {
  1387. "type": "map<string,double>",
  1388. "value": {
  1389. "xratio": 1,
  1390. "yoffset": -10
  1391. }
  1392. }
  1393. },
  1394. "271": {
  1395. "r": {
  1396. "type": "double",
  1397. "value": 5
  1398. },
  1399. "style": {
  1400. "type": "map<string,string>",
  1401. "value": {
  1402. "stroke": "#000000",
  1403. "fill": "#000000",
  1404. "opacity": 0,
  1405. "stroke-width": 1
  1406. }
  1407. },
  1408. "mapper": {
  1409. "type": "code",
  1410. "value": ""
  1411. },
  1412. "parser": {
  1413. "type": "code",
  1414. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1415. },
  1416. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1417. "position": {
  1418. "type": "list<double>",
  1419. "value": [
  1420. "0;1.5022459160442168,-3.3157114038360866%",
  1421. "0;105.5152172541163,99.94501517277624%"
  1422. ]
  1423. },
  1424. "orientation": {
  1425. "type": "double",
  1426. "value": "0;91.9001109655768"
  1427. },
  1428. "scale": {
  1429. "type": "list<double>",
  1430. "value": [
  1431. 1,
  1432. 1
  1433. ]
  1434. },
  1435. "arrow": "arrowTail",
  1436. "arrowType": "circle-black",
  1437. "$linkDecoratorInfo": {
  1438. "type": "map<string,double>",
  1439. "value": {
  1440. "xratio": 1,
  1441. "yoffset": -5
  1442. }
  1443. }
  1444. },
  1445. "272": {
  1446. "segments": {
  1447. "type": "string",
  1448. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  1449. },
  1450. "style": {
  1451. "type": "map<string,string>",
  1452. "value": {
  1453. "stroke": "#000000",
  1454. "fill": "#000000",
  1455. "opacity": 0,
  1456. "stroke-width": 1
  1457. }
  1458. },
  1459. "mapper": {
  1460. "type": "code",
  1461. "value": ""
  1462. },
  1463. "parser": {
  1464. "type": "code",
  1465. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1466. },
  1467. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1468. "position": {
  1469. "type": "list<double>",
  1470. "value": [
  1471. "0;1.5022459160442168,-3.3157114038360866%",
  1472. "0;105.5152172541163,99.94501517277624%"
  1473. ]
  1474. },
  1475. "orientation": {
  1476. "type": "double",
  1477. "value": "0;91.9001109655768"
  1478. },
  1479. "scale": {
  1480. "type": "list<double>",
  1481. "value": [
  1482. 1,
  1483. 1
  1484. ]
  1485. },
  1486. "arrow": "arrowTail",
  1487. "arrowType": "diamond-black",
  1488. "$linkDecoratorInfo": {
  1489. "type": "map<string,double>",
  1490. "value": {
  1491. "xratio": 1,
  1492. "yoffset": -5
  1493. }
  1494. }
  1495. },
  1496. "273": {
  1497. "segments": {
  1498. "type": "string",
  1499. "value": "m0,0 l20,10 l-20,10 z"
  1500. },
  1501. "style": {
  1502. "type": "map<string,string>",
  1503. "value": {
  1504. "stroke": "#000000",
  1505. "fill": "#000000",
  1506. "opacity": 0,
  1507. "stroke-width": 1
  1508. }
  1509. },
  1510. "mapper": {
  1511. "type": "code",
  1512. "value": ""
  1513. },
  1514. "parser": {
  1515. "type": "code",
  1516. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1517. },
  1518. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1519. "position": {
  1520. "type": "list<double>",
  1521. "value": [
  1522. "0;6.499496674683087,-3.3157114038360866%",
  1523. "0;105.68100282430811,99.94501517277624%"
  1524. ]
  1525. },
  1526. "orientation": {
  1527. "type": "double",
  1528. "value": "0;91.9001109655768"
  1529. },
  1530. "scale": {
  1531. "type": "list<double>",
  1532. "value": [
  1533. 1,
  1534. 1
  1535. ]
  1536. },
  1537. "arrow": "arrowTail",
  1538. "arrowType": "triangle-black-large",
  1539. "$linkDecoratorInfo": {
  1540. "type": "map<string,double>",
  1541. "value": {
  1542. "xratio": 1,
  1543. "yoffset": -10
  1544. }
  1545. }
  1546. },
  1547. "274": {
  1548. "segments": {
  1549. "type": "string",
  1550. "value": "m0,0 l10,4 l-10,4 z"
  1551. },
  1552. "style": {
  1553. "type": "map<string,string>",
  1554. "value": {
  1555. "stroke": "#000000",
  1556. "fill": "#000000",
  1557. "opacity": 0,
  1558. "stroke-width": 1
  1559. }
  1560. },
  1561. "mapper": {
  1562. "type": "code",
  1563. "value": ""
  1564. },
  1565. "parser": {
  1566. "type": "code",
  1567. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1568. },
  1569. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1570. "position": {
  1571. "type": "list<double>",
  1572. "value": [
  1573. "0;0.5027957643164882,-3.3157114038360866%",
  1574. "0;105.48206014007792,99.94501517277624%"
  1575. ]
  1576. },
  1577. "orientation": {
  1578. "type": "double",
  1579. "value": "0;91.9001109655768"
  1580. },
  1581. "scale": {
  1582. "type": "list<double>",
  1583. "value": [
  1584. 1,
  1585. 1
  1586. ]
  1587. },
  1588. "arrow": "arrowTail",
  1589. "arrowType": "triangle-black",
  1590. "$linkDecoratorInfo": {
  1591. "type": "map<string,double>",
  1592. "value": {
  1593. "xratio": 1,
  1594. "yoffset": -4
  1595. }
  1596. }
  1597. },
  1598. "275": {
  1599. "segments": {
  1600. "type": "string",
  1601. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  1602. },
  1603. "style": {
  1604. "type": "map<string,string>",
  1605. "value": {
  1606. "stroke": "#000000",
  1607. "fill": "#000000",
  1608. "opacity": 0,
  1609. "stroke-width": 1
  1610. }
  1611. },
  1612. "mapper": {
  1613. "type": "code",
  1614. "value": ""
  1615. },
  1616. "parser": {
  1617. "type": "code",
  1618. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1619. },
  1620. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1621. "position": {
  1622. "type": "list<double>",
  1623. "value": [
  1624. "0;4.500596371227516,-3.3157114038360866%",
  1625. "0;105.61468859623136,99.94501517277624%"
  1626. ]
  1627. },
  1628. "orientation": {
  1629. "type": "double",
  1630. "value": "0;91.9001109655768"
  1631. },
  1632. "scale": {
  1633. "type": "list<double>",
  1634. "value": [
  1635. 1,
  1636. 1
  1637. ]
  1638. },
  1639. "arrow": "arrowTail",
  1640. "arrowType": "arrow-black-large",
  1641. "$linkDecoratorInfo": {
  1642. "type": "map<string,double>",
  1643. "value": {
  1644. "xratio": 1,
  1645. "yoffset": -8
  1646. }
  1647. }
  1648. },
  1649. "276": {
  1650. "segments": {
  1651. "type": "string",
  1652. "value": "m0,0 l20,10 l-20,10 z"
  1653. },
  1654. "style": {
  1655. "type": "map<string,string>",
  1656. "value": {
  1657. "stroke": "#000000",
  1658. "fill": "#ffffff",
  1659. "opacity": 0,
  1660. "stroke-width": 1
  1661. }
  1662. },
  1663. "mapper": {
  1664. "type": "code",
  1665. "value": ""
  1666. },
  1667. "parser": {
  1668. "type": "code",
  1669. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1670. },
  1671. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1672. "position": {
  1673. "type": "list<double>",
  1674. "value": [
  1675. "0;6.499496674683087,-3.3157114038360866%",
  1676. "0;105.68100282430811,99.94501517277624%"
  1677. ]
  1678. },
  1679. "orientation": {
  1680. "type": "double",
  1681. "value": "0;91.9001109655768"
  1682. },
  1683. "scale": {
  1684. "type": "list<double>",
  1685. "value": [
  1686. 1,
  1687. 1
  1688. ]
  1689. },
  1690. "arrow": "arrowTail",
  1691. "arrowType": "triangle-white-large",
  1692. "$linkDecoratorInfo": {
  1693. "type": "map<string,double>",
  1694. "value": {
  1695. "xratio": 1,
  1696. "yoffset": -10
  1697. }
  1698. }
  1699. },
  1700. "277": {
  1701. "segments": {
  1702. "type": "string",
  1703. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  1704. },
  1705. "style": {
  1706. "type": "map<string,string>",
  1707. "value": {
  1708. "stroke": "#000000",
  1709. "fill": "#ffffff",
  1710. "opacity": 0,
  1711. "stroke-width": 1
  1712. }
  1713. },
  1714. "mapper": {
  1715. "type": "code",
  1716. "value": ""
  1717. },
  1718. "parser": {
  1719. "type": "code",
  1720. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1721. },
  1722. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1723. "position": {
  1724. "type": "list<double>",
  1725. "value": [
  1726. "0;1.5022459160442168,-3.3157114038360866%",
  1727. "0;105.5152172541163,99.94501517277624%"
  1728. ]
  1729. },
  1730. "orientation": {
  1731. "type": "double",
  1732. "value": "0;91.9001109655768"
  1733. },
  1734. "scale": {
  1735. "type": "list<double>",
  1736. "value": [
  1737. 1,
  1738. 1
  1739. ]
  1740. },
  1741. "arrow": "arrowTail",
  1742. "arrowType": "diamond-white",
  1743. "$linkDecoratorInfo": {
  1744. "type": "map<string,double>",
  1745. "value": {
  1746. "xratio": 1,
  1747. "yoffset": -5
  1748. }
  1749. }
  1750. },
  1751. "278": {
  1752. "segments": {
  1753. "type": "string",
  1754. "value": "m0,0 l20,8 l-20,8"
  1755. },
  1756. "style": {
  1757. "type": "map<string,string>",
  1758. "value": {
  1759. "stroke": "#000000",
  1760. "fill": "#000000",
  1761. "fill-opacity": 0,
  1762. "stroke-width": 1,
  1763. "opacity": 0
  1764. }
  1765. },
  1766. "mapper": {
  1767. "type": "code",
  1768. "value": ""
  1769. },
  1770. "parser": {
  1771. "type": "code",
  1772. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1773. },
  1774. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1775. "position": {
  1776. "type": "list<double>",
  1777. "value": [
  1778. "0;4.500596371227516,-3.3157114038360866%",
  1779. "0;105.61468859623136,99.94501517277624%"
  1780. ]
  1781. },
  1782. "orientation": {
  1783. "type": "double",
  1784. "value": "0;91.9001109655768"
  1785. },
  1786. "scale": {
  1787. "type": "list<double>",
  1788. "value": [
  1789. 1,
  1790. 1
  1791. ]
  1792. },
  1793. "arrow": "arrowTail",
  1794. "arrowType": "arrow-empty-large",
  1795. "$linkDecoratorInfo": {
  1796. "type": "map<string,double>",
  1797. "value": {
  1798. "xratio": 1,
  1799. "yoffset": -8
  1800. }
  1801. }
  1802. },
  1803. "279": {
  1804. "r": {
  1805. "type": "double",
  1806. "value": 5
  1807. },
  1808. "style": {
  1809. "type": "map<string,string>",
  1810. "value": {
  1811. "stroke": "#000000",
  1812. "fill": "#ffffff",
  1813. "opacity": 0,
  1814. "stroke-width": 1
  1815. }
  1816. },
  1817. "mapper": {
  1818. "type": "code",
  1819. "value": ""
  1820. },
  1821. "parser": {
  1822. "type": "code",
  1823. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1824. },
  1825. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  1826. "position": {
  1827. "type": "list<double>",
  1828. "value": [
  1829. "0;1.5022459160442168,-3.3157114038360866%",
  1830. "0;105.5152172541163,99.94501517277624%"
  1831. ]
  1832. },
  1833. "orientation": {
  1834. "type": "double",
  1835. "value": "0;91.9001109655768"
  1836. },
  1837. "scale": {
  1838. "type": "list<double>",
  1839. "value": [
  1840. 1,
  1841. 1
  1842. ]
  1843. },
  1844. "arrow": "arrowTail",
  1845. "arrowType": "circle-white",
  1846. "$linkDecoratorInfo": {
  1847. "type": "map<string,double>",
  1848. "value": {
  1849. "xratio": 1,
  1850. "yoffset": -5
  1851. }
  1852. }
  1853. },
  1854. "280": {
  1855. "segments": {
  1856. "type": "string",
  1857. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  1858. },
  1859. "style": {
  1860. "type": "map<string,string>",
  1861. "value": {
  1862. "stroke": "#000000",
  1863. "fill": "#ffffff",
  1864. "opacity": 0,
  1865. "stroke-width": 1
  1866. }
  1867. },
  1868. "mapper": {
  1869. "type": "code",
  1870. "value": ""
  1871. },
  1872. "parser": {
  1873. "type": "code",
  1874. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1875. },
  1876. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1877. "position": {
  1878. "type": "list<double>",
  1879. "value": [
  1880. "0;6.499496674683087,-3.3157114038360866%",
  1881. "0;105.68100282430811,99.94501517277624%"
  1882. ]
  1883. },
  1884. "orientation": {
  1885. "type": "double",
  1886. "value": "0;91.9001109655768"
  1887. },
  1888. "scale": {
  1889. "type": "list<double>",
  1890. "value": [
  1891. 1,
  1892. 1
  1893. ]
  1894. },
  1895. "arrow": "arrowTail",
  1896. "arrowType": "diamond-white-large",
  1897. "$linkDecoratorInfo": {
  1898. "type": "map<string,double>",
  1899. "value": {
  1900. "xratio": 1,
  1901. "yoffset": -10
  1902. }
  1903. }
  1904. },
  1905. "281": {
  1906. "segments": {
  1907. "type": "string",
  1908. "value": "m0,0 l10,4 l-10,4"
  1909. },
  1910. "style": {
  1911. "type": "map<string,string>",
  1912. "value": {
  1913. "stroke": "#000000",
  1914. "fill": "#000000",
  1915. "fill-opacity": 0,
  1916. "stroke-width": 1,
  1917. "opacity": 0
  1918. }
  1919. },
  1920. "mapper": {
  1921. "type": "code",
  1922. "value": ""
  1923. },
  1924. "parser": {
  1925. "type": "code",
  1926. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1927. },
  1928. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1929. "position": {
  1930. "type": "list<double>",
  1931. "value": [
  1932. "0;0.5027957643164882,-3.3157114038360866%",
  1933. "0;105.48206014007792,99.94501517277624%"
  1934. ]
  1935. },
  1936. "orientation": {
  1937. "type": "double",
  1938. "value": "0;91.9001109655768"
  1939. },
  1940. "scale": {
  1941. "type": "list<double>",
  1942. "value": [
  1943. 1,
  1944. 1
  1945. ]
  1946. },
  1947. "arrow": "arrowTail",
  1948. "arrowType": "arrow-empty",
  1949. "$linkDecoratorInfo": {
  1950. "type": "map<string,double>",
  1951. "value": {
  1952. "xratio": 1,
  1953. "yoffset": -4
  1954. }
  1955. }
  1956. },
  1957. "282": {
  1958. "segments": {
  1959. "type": "string",
  1960. "value": "m0,0 l10,5 l-10,5 z"
  1961. },
  1962. "style": {
  1963. "type": "map<string,string>",
  1964. "value": {
  1965. "stroke": "#000000",
  1966. "fill": "#ffffff",
  1967. "opacity": 0,
  1968. "stroke-width": 1
  1969. }
  1970. },
  1971. "mapper": {
  1972. "type": "code",
  1973. "value": ""
  1974. },
  1975. "parser": {
  1976. "type": "code",
  1977. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  1978. },
  1979. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  1980. "position": {
  1981. "type": "list<double>",
  1982. "value": [
  1983. "0;1.5022459160442168,-3.3157114038360866%",
  1984. "0;105.5152172541163,99.94501517277624%"
  1985. ]
  1986. },
  1987. "orientation": {
  1988. "type": "double",
  1989. "value": "0;91.9001109655768"
  1990. },
  1991. "scale": {
  1992. "type": "list<double>",
  1993. "value": [
  1994. 1,
  1995. 1
  1996. ]
  1997. },
  1998. "arrow": "arrowTail",
  1999. "arrowType": "triangle-white",
  2000. "$linkDecoratorInfo": {
  2001. "type": "map<string,double>",
  2002. "value": {
  2003. "xratio": 1,
  2004. "yoffset": -5
  2005. }
  2006. }
  2007. },
  2008. "283": {
  2009. "segments": {
  2010. "type": "string",
  2011. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  2012. },
  2013. "style": {
  2014. "type": "map<string,string>",
  2015. "value": {
  2016. "stroke": "#000000",
  2017. "fill": "#ffffff",
  2018. "opacity": 0,
  2019. "stroke-width": 1
  2020. }
  2021. },
  2022. "mapper": {
  2023. "type": "code",
  2024. "value": ""
  2025. },
  2026. "parser": {
  2027. "type": "code",
  2028. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2029. },
  2030. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2031. "position": {
  2032. "type": "list<double>",
  2033. "value": [
  2034. "0;8.502227060465998,0%",
  2035. "0;-105.48421438488555,0%"
  2036. ]
  2037. },
  2038. "orientation": {
  2039. "type": "double",
  2040. "value": "0;91.90011096557687"
  2041. },
  2042. "scale": {
  2043. "type": "list<double>",
  2044. "value": [
  2045. 1,
  2046. 1
  2047. ]
  2048. },
  2049. "arrow": "arrowHead",
  2050. "arrowType": "diamond-white",
  2051. "$linkDecoratorInfo": {
  2052. "type": "map<string,double>",
  2053. "value": {
  2054. "xratio": -1,
  2055. "yoffset": -5
  2056. }
  2057. }
  2058. },
  2059. "284": {
  2060. "segments": {
  2061. "type": "string",
  2062. "value": "m0,0 l-10,5 l10,5 z"
  2063. },
  2064. "style": {
  2065. "type": "map<string,string>",
  2066. "value": {
  2067. "stroke": "#000000",
  2068. "fill": "#ffffff",
  2069. "opacity": 0,
  2070. "stroke-width": 1
  2071. }
  2072. },
  2073. "mapper": {
  2074. "type": "code",
  2075. "value": ""
  2076. },
  2077. "parser": {
  2078. "type": "code",
  2079. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2080. },
  2081. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2082. "position": {
  2083. "type": "list<double>",
  2084. "value": [
  2085. "0;8.502227060465998,0%",
  2086. "0;-105.48421438488555,0%"
  2087. ]
  2088. },
  2089. "orientation": {
  2090. "type": "double",
  2091. "value": "0;91.90011096557687"
  2092. },
  2093. "scale": {
  2094. "type": "list<double>",
  2095. "value": [
  2096. 1,
  2097. 1
  2098. ]
  2099. },
  2100. "arrow": "arrowHead",
  2101. "arrowType": "triangle-white",
  2102. "$linkDecoratorInfo": {
  2103. "type": "map<string,double>",
  2104. "value": {
  2105. "xratio": -1,
  2106. "yoffset": -5
  2107. }
  2108. }
  2109. },
  2110. "285": {
  2111. "segments": {
  2112. "type": "string",
  2113. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  2114. },
  2115. "style": {
  2116. "type": "map<string,string>",
  2117. "value": {
  2118. "stroke": "#000000",
  2119. "fill": "#000000",
  2120. "opacity": 0,
  2121. "stroke-width": 1
  2122. }
  2123. },
  2124. "mapper": {
  2125. "type": "code",
  2126. "value": ""
  2127. },
  2128. "parser": {
  2129. "type": "code",
  2130. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2131. },
  2132. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2133. "position": {
  2134. "type": "list<double>",
  2135. "value": [
  2136. "0;8.502227060465998,0%",
  2137. "0;-105.48421438488555,0%"
  2138. ]
  2139. },
  2140. "orientation": {
  2141. "type": "double",
  2142. "value": "0;91.90011096557687"
  2143. },
  2144. "scale": {
  2145. "type": "list<double>",
  2146. "value": [
  2147. 1,
  2148. 1
  2149. ]
  2150. },
  2151. "arrow": "arrowHead",
  2152. "arrowType": "diamond-black",
  2153. "$linkDecoratorInfo": {
  2154. "type": "map<string,double>",
  2155. "value": {
  2156. "xratio": -1,
  2157. "yoffset": -5
  2158. }
  2159. }
  2160. },
  2161. "286": {
  2162. "r": {
  2163. "type": "double",
  2164. "value": 10
  2165. },
  2166. "style": {
  2167. "type": "map<string,string>",
  2168. "value": {
  2169. "stroke": "#000000",
  2170. "fill": "#000000",
  2171. "opacity": 0,
  2172. "stroke-width": 1
  2173. }
  2174. },
  2175. "mapper": {
  2176. "type": "code",
  2177. "value": ""
  2178. },
  2179. "parser": {
  2180. "type": "code",
  2181. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2182. },
  2183. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2184. "position": {
  2185. "type": "list<double>",
  2186. "value": [
  2187. "0;13.499477819104868,0%",
  2188. "0;-105.31842881469373,0%"
  2189. ]
  2190. },
  2191. "orientation": {
  2192. "type": "double",
  2193. "value": "0;91.90011096557687"
  2194. },
  2195. "scale": {
  2196. "type": "list<double>",
  2197. "value": [
  2198. 1,
  2199. 1
  2200. ]
  2201. },
  2202. "arrow": "arrowHead",
  2203. "arrowType": "circle-black-large",
  2204. "$linkDecoratorInfo": {
  2205. "type": "map<string,double>",
  2206. "value": {
  2207. "xratio": -1,
  2208. "yoffset": -10
  2209. }
  2210. }
  2211. },
  2212. "287": {
  2213. "segments": {
  2214. "type": "string",
  2215. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  2216. },
  2217. "style": {
  2218. "type": "map<string,string>",
  2219. "value": {
  2220. "stroke": "#000000",
  2221. "fill": "#000000",
  2222. "opacity": 0,
  2223. "stroke-width": 1
  2224. }
  2225. },
  2226. "mapper": {
  2227. "type": "code",
  2228. "value": ""
  2229. },
  2230. "parser": {
  2231. "type": "code",
  2232. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2233. },
  2234. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2235. "position": {
  2236. "type": "list<double>",
  2237. "value": [
  2238. "0;11.500577515649297,0%",
  2239. "0;-105.38474304277048,0%"
  2240. ]
  2241. },
  2242. "orientation": {
  2243. "type": "double",
  2244. "value": "0;91.90011096557687"
  2245. },
  2246. "scale": {
  2247. "type": "list<double>",
  2248. "value": [
  2249. 1,
  2250. 1
  2251. ]
  2252. },
  2253. "arrow": "arrowHead",
  2254. "arrowType": "arrow-black-large",
  2255. "$linkDecoratorInfo": {
  2256. "type": "map<string,double>",
  2257. "value": {
  2258. "xratio": -1,
  2259. "yoffset": -8
  2260. }
  2261. }
  2262. },
  2263. "288": {
  2264. "segments": {
  2265. "type": "string",
  2266. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  2267. },
  2268. "style": {
  2269. "type": "map<string,string>",
  2270. "value": {
  2271. "stroke": "#000000",
  2272. "fill": "#000000",
  2273. "opacity": 0,
  2274. "stroke-width": 1
  2275. }
  2276. },
  2277. "mapper": {
  2278. "type": "code",
  2279. "value": ""
  2280. },
  2281. "parser": {
  2282. "type": "code",
  2283. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2284. },
  2285. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2286. "position": {
  2287. "type": "list<double>",
  2288. "value": [
  2289. "0;7.502776908738269,0%",
  2290. "0;-105.51737149892392,0%"
  2291. ]
  2292. },
  2293. "orientation": {
  2294. "type": "double",
  2295. "value": "0;91.90011096557687"
  2296. },
  2297. "scale": {
  2298. "type": "list<double>",
  2299. "value": [
  2300. 1,
  2301. 1
  2302. ]
  2303. },
  2304. "arrow": "arrowHead",
  2305. "arrowType": "arrow-black",
  2306. "$linkDecoratorInfo": {
  2307. "type": "map<string,double>",
  2308. "value": {
  2309. "xratio": -1,
  2310. "yoffset": -4
  2311. }
  2312. }
  2313. },
  2314. "289": {
  2315. "segments": {
  2316. "type": "string",
  2317. "value": "m0,0 l-20,10 l20,10 z"
  2318. },
  2319. "style": {
  2320. "type": "map<string,string>",
  2321. "value": {
  2322. "stroke": "#000000",
  2323. "fill": "#ffffff",
  2324. "opacity": 0,
  2325. "stroke-width": 1
  2326. }
  2327. },
  2328. "mapper": {
  2329. "type": "code",
  2330. "value": ""
  2331. },
  2332. "parser": {
  2333. "type": "code",
  2334. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2335. },
  2336. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2337. "position": {
  2338. "type": "list<double>",
  2339. "value": [
  2340. "0;13.499477819104868,0%",
  2341. "0;-105.31842881469373,0%"
  2342. ]
  2343. },
  2344. "orientation": {
  2345. "type": "double",
  2346. "value": "0;91.90011096557687"
  2347. },
  2348. "scale": {
  2349. "type": "list<double>",
  2350. "value": [
  2351. 1,
  2352. 1
  2353. ]
  2354. },
  2355. "arrow": "arrowHead",
  2356. "arrowType": "triangle-white-large",
  2357. "$linkDecoratorInfo": {
  2358. "type": "map<string,double>",
  2359. "value": {
  2360. "xratio": -1,
  2361. "yoffset": -10
  2362. }
  2363. }
  2364. },
  2365. "290": {
  2366. "segments": {
  2367. "type": "string",
  2368. "value": "m0,0 l-20,10 l20,10 z"
  2369. },
  2370. "style": {
  2371. "type": "map<string,string>",
  2372. "value": {
  2373. "stroke": "#000000",
  2374. "fill": "#000000",
  2375. "opacity": 0,
  2376. "stroke-width": 1
  2377. }
  2378. },
  2379. "mapper": {
  2380. "type": "code",
  2381. "value": ""
  2382. },
  2383. "parser": {
  2384. "type": "code",
  2385. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2386. },
  2387. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2388. "position": {
  2389. "type": "list<double>",
  2390. "value": [
  2391. "0;13.499477819104868,0%",
  2392. "0;-105.31842881469373,0%"
  2393. ]
  2394. },
  2395. "orientation": {
  2396. "type": "double",
  2397. "value": "0;91.90011096557687"
  2398. },
  2399. "scale": {
  2400. "type": "list<double>",
  2401. "value": [
  2402. 1,
  2403. 1
  2404. ]
  2405. },
  2406. "arrow": "arrowHead",
  2407. "arrowType": "triangle-black-large",
  2408. "$linkDecoratorInfo": {
  2409. "type": "map<string,double>",
  2410. "value": {
  2411. "xratio": -1,
  2412. "yoffset": -10
  2413. }
  2414. }
  2415. },
  2416. "291": {
  2417. "r": {
  2418. "type": "double",
  2419. "value": 5
  2420. },
  2421. "style": {
  2422. "type": "map<string,string>",
  2423. "value": {
  2424. "stroke": "#000000",
  2425. "fill": "#000000",
  2426. "opacity": 0,
  2427. "stroke-width": 1
  2428. }
  2429. },
  2430. "mapper": {
  2431. "type": "code",
  2432. "value": ""
  2433. },
  2434. "parser": {
  2435. "type": "code",
  2436. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2437. },
  2438. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2439. "position": {
  2440. "type": "list<double>",
  2441. "value": [
  2442. "0;8.502227060465998,0%",
  2443. "0;-105.48421438488555,0%"
  2444. ]
  2445. },
  2446. "orientation": {
  2447. "type": "double",
  2448. "value": "0;91.90011096557687"
  2449. },
  2450. "scale": {
  2451. "type": "list<double>",
  2452. "value": [
  2453. 1,
  2454. 1
  2455. ]
  2456. },
  2457. "arrow": "arrowHead",
  2458. "arrowType": "circle-black",
  2459. "$linkDecoratorInfo": {
  2460. "type": "map<string,double>",
  2461. "value": {
  2462. "xratio": -1,
  2463. "yoffset": -5
  2464. }
  2465. }
  2466. },
  2467. "292": {
  2468. "r": {
  2469. "type": "double",
  2470. "value": 5
  2471. },
  2472. "style": {
  2473. "type": "map<string,string>",
  2474. "value": {
  2475. "stroke": "#000000",
  2476. "fill": "#ffffff",
  2477. "opacity": 0,
  2478. "stroke-width": 1
  2479. }
  2480. },
  2481. "mapper": {
  2482. "type": "code",
  2483. "value": ""
  2484. },
  2485. "parser": {
  2486. "type": "code",
  2487. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2488. },
  2489. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2490. "position": {
  2491. "type": "list<double>",
  2492. "value": [
  2493. "0;8.502227060465998,0%",
  2494. "0;-105.48421438488555,0%"
  2495. ]
  2496. },
  2497. "orientation": {
  2498. "type": "double",
  2499. "value": "0;91.90011096557687"
  2500. },
  2501. "scale": {
  2502. "type": "list<double>",
  2503. "value": [
  2504. 1,
  2505. 1
  2506. ]
  2507. },
  2508. "arrow": "arrowHead",
  2509. "arrowType": "circle-white",
  2510. "$linkDecoratorInfo": {
  2511. "type": "map<string,double>",
  2512. "value": {
  2513. "xratio": -1,
  2514. "yoffset": -5
  2515. }
  2516. }
  2517. },
  2518. "293": {
  2519. "r": {
  2520. "type": "double",
  2521. "value": 10
  2522. },
  2523. "style": {
  2524. "type": "map<string,string>",
  2525. "value": {
  2526. "stroke": "#000000",
  2527. "fill": "#ffffff",
  2528. "opacity": 0,
  2529. "stroke-width": 1
  2530. }
  2531. },
  2532. "mapper": {
  2533. "type": "code",
  2534. "value": ""
  2535. },
  2536. "parser": {
  2537. "type": "code",
  2538. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2539. },
  2540. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  2541. "position": {
  2542. "type": "list<double>",
  2543. "value": [
  2544. "0;13.499477819104868,0%",
  2545. "0;-105.31842881469373,0%"
  2546. ]
  2547. },
  2548. "orientation": {
  2549. "type": "double",
  2550. "value": "0;91.90011096557687"
  2551. },
  2552. "scale": {
  2553. "type": "list<double>",
  2554. "value": [
  2555. 1,
  2556. 1
  2557. ]
  2558. },
  2559. "arrow": "arrowHead",
  2560. "arrowType": "circle-white-large",
  2561. "$linkDecoratorInfo": {
  2562. "type": "map<string,double>",
  2563. "value": {
  2564. "xratio": -1,
  2565. "yoffset": -10
  2566. }
  2567. }
  2568. },
  2569. "294": {
  2570. "segments": {
  2571. "type": "string",
  2572. "value": "m0,0 l-20,8 l20,8"
  2573. },
  2574. "style": {
  2575. "type": "map<string,string>",
  2576. "value": {
  2577. "stroke": "#000000",
  2578. "fill": "#000000",
  2579. "fill-opacity": 0,
  2580. "stroke-width": 1,
  2581. "opacity": 0
  2582. }
  2583. },
  2584. "mapper": {
  2585. "type": "code",
  2586. "value": ""
  2587. },
  2588. "parser": {
  2589. "type": "code",
  2590. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2591. },
  2592. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2593. "position": {
  2594. "type": "list<double>",
  2595. "value": [
  2596. "0;11.500577515649297,0%",
  2597. "0;-105.38474304277048,0%"
  2598. ]
  2599. },
  2600. "orientation": {
  2601. "type": "double",
  2602. "value": "0;91.90011096557687"
  2603. },
  2604. "scale": {
  2605. "type": "list<double>",
  2606. "value": [
  2607. 1,
  2608. 1
  2609. ]
  2610. },
  2611. "arrow": "arrowHead",
  2612. "arrowType": "arrow-empty-large",
  2613. "$linkDecoratorInfo": {
  2614. "type": "map<string,double>",
  2615. "value": {
  2616. "xratio": -1,
  2617. "yoffset": -8
  2618. }
  2619. }
  2620. },
  2621. "295": {
  2622. "segments": {
  2623. "type": "string",
  2624. "value": "m0,0 l-10,4 l10,4"
  2625. },
  2626. "style": {
  2627. "type": "map<string,string>",
  2628. "value": {
  2629. "stroke": "#000000",
  2630. "fill": "#000000",
  2631. "fill-opacity": 0,
  2632. "stroke-width": 1,
  2633. "opacity": 0
  2634. }
  2635. },
  2636. "mapper": {
  2637. "type": "code",
  2638. "value": ""
  2639. },
  2640. "parser": {
  2641. "type": "code",
  2642. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2643. },
  2644. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2645. "position": {
  2646. "type": "list<double>",
  2647. "value": [
  2648. "0;7.502776908738269,0%",
  2649. "0;-105.51737149892392,0%"
  2650. ]
  2651. },
  2652. "orientation": {
  2653. "type": "double",
  2654. "value": "0;91.90011096557687"
  2655. },
  2656. "scale": {
  2657. "type": "list<double>",
  2658. "value": [
  2659. 1,
  2660. 1
  2661. ]
  2662. },
  2663. "arrow": "arrowHead",
  2664. "arrowType": "arrow-empty",
  2665. "$linkDecoratorInfo": {
  2666. "type": "map<string,double>",
  2667. "value": {
  2668. "xratio": -1,
  2669. "yoffset": -4
  2670. }
  2671. }
  2672. },
  2673. "296": {
  2674. "segments": {
  2675. "type": "string",
  2676. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2677. },
  2678. "style": {
  2679. "type": "map<string,string>",
  2680. "value": {
  2681. "stroke": "#000000",
  2682. "fill": "#000000",
  2683. "opacity": 0,
  2684. "stroke-width": 1
  2685. }
  2686. },
  2687. "mapper": {
  2688. "type": "code",
  2689. "value": ""
  2690. },
  2691. "parser": {
  2692. "type": "code",
  2693. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2694. },
  2695. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2696. "position": {
  2697. "type": "list<double>",
  2698. "value": [
  2699. "0;13.499477819104868,0%",
  2700. "0;-105.31842881469373,0%"
  2701. ]
  2702. },
  2703. "orientation": {
  2704. "type": "double",
  2705. "value": "0;91.90011096557687"
  2706. },
  2707. "scale": {
  2708. "type": "list<double>",
  2709. "value": [
  2710. 1,
  2711. 1
  2712. ]
  2713. },
  2714. "arrow": "arrowHead",
  2715. "arrowType": "diamond-black-large",
  2716. "$linkDecoratorInfo": {
  2717. "type": "map<string,double>",
  2718. "value": {
  2719. "xratio": -1,
  2720. "yoffset": -10
  2721. }
  2722. }
  2723. },
  2724. "297": {
  2725. "segments": {
  2726. "type": "string",
  2727. "value": "m0,0 l-10,4 l10,4 z"
  2728. },
  2729. "style": {
  2730. "type": "map<string,string>",
  2731. "value": {
  2732. "stroke": "#000000",
  2733. "fill": "#000000",
  2734. "opacity": 0,
  2735. "stroke-width": 1
  2736. }
  2737. },
  2738. "mapper": {
  2739. "type": "code",
  2740. "value": ""
  2741. },
  2742. "parser": {
  2743. "type": "code",
  2744. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2745. },
  2746. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2747. "position": {
  2748. "type": "list<double>",
  2749. "value": [
  2750. "0;7.502776908738269,0%",
  2751. "0;-105.51737149892392,0%"
  2752. ]
  2753. },
  2754. "orientation": {
  2755. "type": "double",
  2756. "value": "0;91.90011096557687"
  2757. },
  2758. "scale": {
  2759. "type": "list<double>",
  2760. "value": [
  2761. 1,
  2762. 1
  2763. ]
  2764. },
  2765. "arrow": "arrowHead",
  2766. "arrowType": "triangle-black",
  2767. "$linkDecoratorInfo": {
  2768. "type": "map<string,double>",
  2769. "value": {
  2770. "xratio": -1,
  2771. "yoffset": -4
  2772. }
  2773. }
  2774. },
  2775. "298": {
  2776. "segments": {
  2777. "type": "string",
  2778. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2779. },
  2780. "style": {
  2781. "type": "map<string,string>",
  2782. "value": {
  2783. "stroke": "#000000",
  2784. "fill": "#ffffff",
  2785. "opacity": 0,
  2786. "stroke-width": 1
  2787. }
  2788. },
  2789. "mapper": {
  2790. "type": "code",
  2791. "value": ""
  2792. },
  2793. "parser": {
  2794. "type": "code",
  2795. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2796. },
  2797. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2798. "position": {
  2799. "type": "list<double>",
  2800. "value": [
  2801. "0;13.499477819104868,0%",
  2802. "0;-105.31842881469373,0%"
  2803. ]
  2804. },
  2805. "orientation": {
  2806. "type": "double",
  2807. "value": "0;91.90011096557687"
  2808. },
  2809. "scale": {
  2810. "type": "list<double>",
  2811. "value": [
  2812. 1,
  2813. 1
  2814. ]
  2815. },
  2816. "arrow": "arrowHead",
  2817. "arrowType": "diamond-white-large",
  2818. "$linkDecoratorInfo": {
  2819. "type": "map<string,double>",
  2820. "value": {
  2821. "xratio": -1,
  2822. "yoffset": -10
  2823. }
  2824. }
  2825. }
  2826. },
  2827. "edges": []
  2828. }
  2829. },
  2830. "$asuri": {
  2831. "type": "string",
  2832. "value": "/Formalisms/__Transformations__/Transformation/MoTif/initial/85.instance"
  2833. },
  2834. "$segments": {
  2835. "type": "map<string,list<string>>",
  2836. "value": {
  2837. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/StartIcon/0.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/85.instance": "M671,218L667.4950236981728,323.64999995507736",
  2838. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink/85.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/84.instance": "M667.4950331319149,323.6497155951428L664.0000188555782,428.99943163900184"
  2839. }
  2840. },
  2841. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/initialLink"
  2842. },
  2843. "86": {
  2844. "link-style": {
  2845. "type": "map<string,string>",
  2846. "value": {
  2847. "stroke": "#008080",
  2848. "stroke-dasharray": "",
  2849. "stroke-opacity": 1,
  2850. "stroke-width": 2
  2851. }
  2852. },
  2853. "arrowHead": {
  2854. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  2855. "value": "custom"
  2856. },
  2857. "arrowTail": {
  2858. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  2859. "value": "arrow-black"
  2860. },
  2861. "typename": {
  2862. "type": "string",
  2863. "value": "successLink"
  2864. },
  2865. "position": {
  2866. "type": "list<double>",
  2867. "value": [
  2868. 551.4299632479161,
  2869. 633.6329043878129
  2870. ]
  2871. },
  2872. "orientation": {
  2873. "type": "double",
  2874. "value": 0
  2875. },
  2876. "scale": {
  2877. "type": "list<double>",
  2878. "value": [
  2879. 1,
  2880. 1
  2881. ]
  2882. },
  2883. "mapper": {
  2884. "type": "code",
  2885. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  2886. },
  2887. "parser": {
  2888. "type": "code",
  2889. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2890. },
  2891. "$contents": {
  2892. "type": "map<string,*>",
  2893. "value": {
  2894. "nodes": {
  2895. "267": {
  2896. "segments": {
  2897. "type": "string",
  2898. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  2899. },
  2900. "style": {
  2901. "type": "map<string,string>",
  2902. "value": {
  2903. "stroke": "#000000",
  2904. "fill": "#000000",
  2905. "opacity": 0,
  2906. "stroke-width": 1
  2907. }
  2908. },
  2909. "mapper": {
  2910. "type": "code",
  2911. "value": ""
  2912. },
  2913. "parser": {
  2914. "type": "code",
  2915. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2916. },
  2917. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2918. "position": {
  2919. "type": "list<double>",
  2920. "value": [
  2921. "0;-59.89078322670332,-46.620025331309414%",
  2922. "0;122.23101775765178,88.4679220853981%"
  2923. ]
  2924. },
  2925. "orientation": {
  2926. "type": "double",
  2927. "value": "0;117.78792807301528"
  2928. },
  2929. "scale": {
  2930. "type": "list<double>",
  2931. "value": [
  2932. 1,
  2933. 1
  2934. ]
  2935. },
  2936. "arrow": "arrowTail",
  2937. "arrowType": "arrow-black",
  2938. "$linkDecoratorInfo": {
  2939. "type": "map<string,double>",
  2940. "value": {
  2941. "xratio": 1,
  2942. "yoffset": -4
  2943. }
  2944. }
  2945. },
  2946. "268": {
  2947. "segments": {
  2948. "type": "string",
  2949. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  2950. },
  2951. "style": {
  2952. "type": "map<string,string>",
  2953. "value": {
  2954. "stroke": "#000000",
  2955. "fill": "#000000",
  2956. "opacity": 0,
  2957. "stroke-width": 1
  2958. }
  2959. },
  2960. "mapper": {
  2961. "type": "code",
  2962. "value": ""
  2963. },
  2964. "parser": {
  2965. "type": "code",
  2966. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  2967. },
  2968. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  2969. "position": {
  2970. "type": "list<double>",
  2971. "value": [
  2972. "0;-54.5827079015794,-46.620025331309414%",
  2973. "0;125.0282192775303,88.4679220853981%"
  2974. ]
  2975. },
  2976. "orientation": {
  2977. "type": "double",
  2978. "value": "0;117.78792807301528"
  2979. },
  2980. "scale": {
  2981. "type": "list<double>",
  2982. "value": [
  2983. 1,
  2984. 1
  2985. ]
  2986. },
  2987. "arrow": "arrowTail",
  2988. "arrowType": "diamond-black-large",
  2989. "$linkDecoratorInfo": {
  2990. "type": "map<string,double>",
  2991. "value": {
  2992. "xratio": 1,
  2993. "yoffset": -10
  2994. }
  2995. }
  2996. },
  2997. "269": {
  2998. "r": {
  2999. "type": "double",
  3000. "value": 10
  3001. },
  3002. "style": {
  3003. "type": "map<string,string>",
  3004. "value": {
  3005. "stroke": "#000000",
  3006. "fill": "#000000",
  3007. "opacity": 0,
  3008. "stroke-width": 1
  3009. }
  3010. },
  3011. "mapper": {
  3012. "type": "code",
  3013. "value": ""
  3014. },
  3015. "parser": {
  3016. "type": "code",
  3017. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3018. },
  3019. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3020. "position": {
  3021. "type": "list<double>",
  3022. "value": [
  3023. "0;-54.5827079015794,-46.620025331309414%",
  3024. "0;125.0282192775303,88.4679220853981%"
  3025. ]
  3026. },
  3027. "orientation": {
  3028. "type": "double",
  3029. "value": "0;117.78792807301528"
  3030. },
  3031. "scale": {
  3032. "type": "list<double>",
  3033. "value": [
  3034. 1,
  3035. 1
  3036. ]
  3037. },
  3038. "arrow": "arrowTail",
  3039. "arrowType": "circle-black-large",
  3040. "$linkDecoratorInfo": {
  3041. "type": "map<string,double>",
  3042. "value": {
  3043. "xratio": 1,
  3044. "yoffset": -10
  3045. }
  3046. }
  3047. },
  3048. "270": {
  3049. "r": {
  3050. "type": "double",
  3051. "value": 10
  3052. },
  3053. "style": {
  3054. "type": "map<string,string>",
  3055. "value": {
  3056. "stroke": "#000000",
  3057. "fill": "#ffffff",
  3058. "opacity": 0,
  3059. "stroke-width": 1
  3060. }
  3061. },
  3062. "mapper": {
  3063. "type": "code",
  3064. "value": ""
  3065. },
  3066. "parser": {
  3067. "type": "code",
  3068. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3069. },
  3070. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3071. "position": {
  3072. "type": "list<double>",
  3073. "value": [
  3074. "0;-54.5827079015794,-46.620025331309414%",
  3075. "0;125.0282192775303,88.4679220853981%"
  3076. ]
  3077. },
  3078. "orientation": {
  3079. "type": "double",
  3080. "value": "0;117.78792807301528"
  3081. },
  3082. "scale": {
  3083. "type": "list<double>",
  3084. "value": [
  3085. 1,
  3086. 1
  3087. ]
  3088. },
  3089. "arrow": "arrowTail",
  3090. "arrowType": "circle-white-large",
  3091. "$linkDecoratorInfo": {
  3092. "type": "map<string,double>",
  3093. "value": {
  3094. "xratio": 1,
  3095. "yoffset": -10
  3096. }
  3097. }
  3098. },
  3099. "271": {
  3100. "r": {
  3101. "type": "double",
  3102. "value": 5
  3103. },
  3104. "style": {
  3105. "type": "map<string,string>",
  3106. "value": {
  3107. "stroke": "#000000",
  3108. "fill": "#000000",
  3109. "opacity": 0,
  3110. "stroke-width": 1
  3111. }
  3112. },
  3113. "mapper": {
  3114. "type": "code",
  3115. "value": ""
  3116. },
  3117. "parser": {
  3118. "type": "code",
  3119. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3120. },
  3121. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3122. "position": {
  3123. "type": "list<double>",
  3124. "value": [
  3125. "0;-59.00610400584924,-46.620025331309414%",
  3126. "0;122.69721801096489,88.4679220853981%"
  3127. ]
  3128. },
  3129. "orientation": {
  3130. "type": "double",
  3131. "value": "0;117.78792807301528"
  3132. },
  3133. "scale": {
  3134. "type": "list<double>",
  3135. "value": [
  3136. 1,
  3137. 1
  3138. ]
  3139. },
  3140. "arrow": "arrowTail",
  3141. "arrowType": "circle-black",
  3142. "$linkDecoratorInfo": {
  3143. "type": "map<string,double>",
  3144. "value": {
  3145. "xratio": 1,
  3146. "yoffset": -5
  3147. }
  3148. }
  3149. },
  3150. "272": {
  3151. "segments": {
  3152. "type": "string",
  3153. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3154. },
  3155. "style": {
  3156. "type": "map<string,string>",
  3157. "value": {
  3158. "stroke": "#000000",
  3159. "fill": "#000000",
  3160. "opacity": 0,
  3161. "stroke-width": 1
  3162. }
  3163. },
  3164. "mapper": {
  3165. "type": "code",
  3166. "value": ""
  3167. },
  3168. "parser": {
  3169. "type": "code",
  3170. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3171. },
  3172. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3173. "position": {
  3174. "type": "list<double>",
  3175. "value": [
  3176. "0;-59.00610400584924,-46.620025331309414%",
  3177. "0;122.69721801096489,88.4679220853981%"
  3178. ]
  3179. },
  3180. "orientation": {
  3181. "type": "double",
  3182. "value": "0;117.78792807301528"
  3183. },
  3184. "scale": {
  3185. "type": "list<double>",
  3186. "value": [
  3187. 1,
  3188. 1
  3189. ]
  3190. },
  3191. "arrow": "arrowTail",
  3192. "arrowType": "diamond-black",
  3193. "$linkDecoratorInfo": {
  3194. "type": "map<string,double>",
  3195. "value": {
  3196. "xratio": 1,
  3197. "yoffset": -5
  3198. }
  3199. }
  3200. },
  3201. "273": {
  3202. "segments": {
  3203. "type": "string",
  3204. "value": "m0,0 l20,10 l-20,10 z"
  3205. },
  3206. "style": {
  3207. "type": "map<string,string>",
  3208. "value": {
  3209. "stroke": "#000000",
  3210. "fill": "#000000",
  3211. "opacity": 0,
  3212. "stroke-width": 1
  3213. }
  3214. },
  3215. "mapper": {
  3216. "type": "code",
  3217. "value": ""
  3218. },
  3219. "parser": {
  3220. "type": "code",
  3221. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3222. },
  3223. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3224. "position": {
  3225. "type": "list<double>",
  3226. "value": [
  3227. "0;-54.5827079015794,-46.620025331309414%",
  3228. "0;125.0282192775303,88.4679220853981%"
  3229. ]
  3230. },
  3231. "orientation": {
  3232. "type": "double",
  3233. "value": "0;117.78792807301528"
  3234. },
  3235. "scale": {
  3236. "type": "list<double>",
  3237. "value": [
  3238. 1,
  3239. 1
  3240. ]
  3241. },
  3242. "arrow": "arrowTail",
  3243. "arrowType": "triangle-black-large",
  3244. "$linkDecoratorInfo": {
  3245. "type": "map<string,double>",
  3246. "value": {
  3247. "xratio": 1,
  3248. "yoffset": -10
  3249. }
  3250. }
  3251. },
  3252. "274": {
  3253. "segments": {
  3254. "type": "string",
  3255. "value": "m0,0 l10,4 l-10,4 z"
  3256. },
  3257. "style": {
  3258. "type": "map<string,string>",
  3259. "value": {
  3260. "stroke": "#000000",
  3261. "fill": "#000000",
  3262. "opacity": 0,
  3263. "stroke-width": 1
  3264. }
  3265. },
  3266. "mapper": {
  3267. "type": "code",
  3268. "value": ""
  3269. },
  3270. "parser": {
  3271. "type": "code",
  3272. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3273. },
  3274. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3275. "position": {
  3276. "type": "list<double>",
  3277. "value": [
  3278. "0;-59.89078322670332,-46.620025331309414%",
  3279. "0;122.23101775765178,88.4679220853981%"
  3280. ]
  3281. },
  3282. "orientation": {
  3283. "type": "double",
  3284. "value": "0;117.78792807301528"
  3285. },
  3286. "scale": {
  3287. "type": "list<double>",
  3288. "value": [
  3289. 1,
  3290. 1
  3291. ]
  3292. },
  3293. "arrow": "arrowTail",
  3294. "arrowType": "triangle-black",
  3295. "$linkDecoratorInfo": {
  3296. "type": "map<string,double>",
  3297. "value": {
  3298. "xratio": 1,
  3299. "yoffset": -4
  3300. }
  3301. }
  3302. },
  3303. "275": {
  3304. "segments": {
  3305. "type": "string",
  3306. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  3307. },
  3308. "style": {
  3309. "type": "map<string,string>",
  3310. "value": {
  3311. "stroke": "#000000",
  3312. "fill": "#000000",
  3313. "opacity": 0,
  3314. "stroke-width": 1
  3315. }
  3316. },
  3317. "mapper": {
  3318. "type": "code",
  3319. "value": ""
  3320. },
  3321. "parser": {
  3322. "type": "code",
  3323. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3324. },
  3325. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3326. "position": {
  3327. "type": "list<double>",
  3328. "value": [
  3329. "0;-56.35206634328733,-46.620025331309414%",
  3330. "0;124.09581877090409,88.4679220853981%"
  3331. ]
  3332. },
  3333. "orientation": {
  3334. "type": "double",
  3335. "value": "0;117.78792807301528"
  3336. },
  3337. "scale": {
  3338. "type": "list<double>",
  3339. "value": [
  3340. 1,
  3341. 1
  3342. ]
  3343. },
  3344. "arrow": "arrowTail",
  3345. "arrowType": "arrow-black-large",
  3346. "$linkDecoratorInfo": {
  3347. "type": "map<string,double>",
  3348. "value": {
  3349. "xratio": 1,
  3350. "yoffset": -8
  3351. }
  3352. }
  3353. },
  3354. "276": {
  3355. "segments": {
  3356. "type": "string",
  3357. "value": "m0,0 l20,10 l-20,10 z"
  3358. },
  3359. "style": {
  3360. "type": "map<string,string>",
  3361. "value": {
  3362. "stroke": "#000000",
  3363. "fill": "#ffffff",
  3364. "opacity": 0,
  3365. "stroke-width": 1
  3366. }
  3367. },
  3368. "mapper": {
  3369. "type": "code",
  3370. "value": ""
  3371. },
  3372. "parser": {
  3373. "type": "code",
  3374. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3375. },
  3376. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3377. "position": {
  3378. "type": "list<double>",
  3379. "value": [
  3380. "0;-54.5827079015794,-46.620025331309414%",
  3381. "0;125.0282192775303,88.4679220853981%"
  3382. ]
  3383. },
  3384. "orientation": {
  3385. "type": "double",
  3386. "value": "0;117.78792807301528"
  3387. },
  3388. "scale": {
  3389. "type": "list<double>",
  3390. "value": [
  3391. 1,
  3392. 1
  3393. ]
  3394. },
  3395. "arrow": "arrowTail",
  3396. "arrowType": "triangle-white-large",
  3397. "$linkDecoratorInfo": {
  3398. "type": "map<string,double>",
  3399. "value": {
  3400. "xratio": 1,
  3401. "yoffset": -10
  3402. }
  3403. }
  3404. },
  3405. "277": {
  3406. "segments": {
  3407. "type": "string",
  3408. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3409. },
  3410. "style": {
  3411. "type": "map<string,string>",
  3412. "value": {
  3413. "stroke": "#000000",
  3414. "fill": "#ffffff",
  3415. "opacity": 0,
  3416. "stroke-width": 1
  3417. }
  3418. },
  3419. "mapper": {
  3420. "type": "code",
  3421. "value": ""
  3422. },
  3423. "parser": {
  3424. "type": "code",
  3425. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3426. },
  3427. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3428. "position": {
  3429. "type": "list<double>",
  3430. "value": [
  3431. "0;-59.00610400584924,-46.620025331309414%",
  3432. "0;122.69721801096489,88.4679220853981%"
  3433. ]
  3434. },
  3435. "orientation": {
  3436. "type": "double",
  3437. "value": "0;117.78792807301528"
  3438. },
  3439. "scale": {
  3440. "type": "list<double>",
  3441. "value": [
  3442. 1,
  3443. 1
  3444. ]
  3445. },
  3446. "arrow": "arrowTail",
  3447. "arrowType": "diamond-white",
  3448. "$linkDecoratorInfo": {
  3449. "type": "map<string,double>",
  3450. "value": {
  3451. "xratio": 1,
  3452. "yoffset": -5
  3453. }
  3454. }
  3455. },
  3456. "278": {
  3457. "segments": {
  3458. "type": "string",
  3459. "value": "m0,0 l20,8 l-20,8"
  3460. },
  3461. "style": {
  3462. "type": "map<string,string>",
  3463. "value": {
  3464. "stroke": "#000000",
  3465. "fill": "#000000",
  3466. "fill-opacity": 0,
  3467. "stroke-width": 1,
  3468. "opacity": 0
  3469. }
  3470. },
  3471. "mapper": {
  3472. "type": "code",
  3473. "value": ""
  3474. },
  3475. "parser": {
  3476. "type": "code",
  3477. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3478. },
  3479. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3480. "position": {
  3481. "type": "list<double>",
  3482. "value": [
  3483. "0;-56.35206634328733,-46.620025331309414%",
  3484. "0;124.09581877090409,88.4679220853981%"
  3485. ]
  3486. },
  3487. "orientation": {
  3488. "type": "double",
  3489. "value": "0;117.78792807301528"
  3490. },
  3491. "scale": {
  3492. "type": "list<double>",
  3493. "value": [
  3494. 1,
  3495. 1
  3496. ]
  3497. },
  3498. "arrow": "arrowTail",
  3499. "arrowType": "arrow-empty-large",
  3500. "$linkDecoratorInfo": {
  3501. "type": "map<string,double>",
  3502. "value": {
  3503. "xratio": 1,
  3504. "yoffset": -8
  3505. }
  3506. }
  3507. },
  3508. "279": {
  3509. "r": {
  3510. "type": "double",
  3511. "value": 5
  3512. },
  3513. "style": {
  3514. "type": "map<string,string>",
  3515. "value": {
  3516. "stroke": "#000000",
  3517. "fill": "#ffffff",
  3518. "opacity": 0,
  3519. "stroke-width": 1
  3520. }
  3521. },
  3522. "mapper": {
  3523. "type": "code",
  3524. "value": ""
  3525. },
  3526. "parser": {
  3527. "type": "code",
  3528. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3529. },
  3530. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3531. "position": {
  3532. "type": "list<double>",
  3533. "value": [
  3534. "0;-59.00610400584924,-46.620025331309414%",
  3535. "0;122.69721801096489,88.4679220853981%"
  3536. ]
  3537. },
  3538. "orientation": {
  3539. "type": "double",
  3540. "value": "0;117.78792807301528"
  3541. },
  3542. "scale": {
  3543. "type": "list<double>",
  3544. "value": [
  3545. 1,
  3546. 1
  3547. ]
  3548. },
  3549. "arrow": "arrowTail",
  3550. "arrowType": "circle-white",
  3551. "$linkDecoratorInfo": {
  3552. "type": "map<string,double>",
  3553. "value": {
  3554. "xratio": 1,
  3555. "yoffset": -5
  3556. }
  3557. }
  3558. },
  3559. "280": {
  3560. "segments": {
  3561. "type": "string",
  3562. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  3563. },
  3564. "style": {
  3565. "type": "map<string,string>",
  3566. "value": {
  3567. "stroke": "#000000",
  3568. "fill": "#ffffff",
  3569. "opacity": 0,
  3570. "stroke-width": 1
  3571. }
  3572. },
  3573. "mapper": {
  3574. "type": "code",
  3575. "value": ""
  3576. },
  3577. "parser": {
  3578. "type": "code",
  3579. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3580. },
  3581. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3582. "position": {
  3583. "type": "list<double>",
  3584. "value": [
  3585. "0;-54.5827079015794,-46.620025331309414%",
  3586. "0;125.0282192775303,88.4679220853981%"
  3587. ]
  3588. },
  3589. "orientation": {
  3590. "type": "double",
  3591. "value": "0;117.78792807301528"
  3592. },
  3593. "scale": {
  3594. "type": "list<double>",
  3595. "value": [
  3596. 1,
  3597. 1
  3598. ]
  3599. },
  3600. "arrow": "arrowTail",
  3601. "arrowType": "diamond-white-large",
  3602. "$linkDecoratorInfo": {
  3603. "type": "map<string,double>",
  3604. "value": {
  3605. "xratio": 1,
  3606. "yoffset": -10
  3607. }
  3608. }
  3609. },
  3610. "281": {
  3611. "segments": {
  3612. "type": "string",
  3613. "value": "m0,0 l10,4 l-10,4"
  3614. },
  3615. "style": {
  3616. "type": "map<string,string>",
  3617. "value": {
  3618. "stroke": "#000000",
  3619. "fill": "#000000",
  3620. "fill-opacity": 0,
  3621. "stroke-width": 1,
  3622. "opacity": 0
  3623. }
  3624. },
  3625. "mapper": {
  3626. "type": "code",
  3627. "value": ""
  3628. },
  3629. "parser": {
  3630. "type": "code",
  3631. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3632. },
  3633. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3634. "position": {
  3635. "type": "list<double>",
  3636. "value": [
  3637. "0;-59.89078322670332,-46.620025331309414%",
  3638. "0;122.23101775765178,88.4679220853981%"
  3639. ]
  3640. },
  3641. "orientation": {
  3642. "type": "double",
  3643. "value": "0;117.78792807301528"
  3644. },
  3645. "scale": {
  3646. "type": "list<double>",
  3647. "value": [
  3648. 1,
  3649. 1
  3650. ]
  3651. },
  3652. "arrow": "arrowTail",
  3653. "arrowType": "arrow-empty",
  3654. "$linkDecoratorInfo": {
  3655. "type": "map<string,double>",
  3656. "value": {
  3657. "xratio": 1,
  3658. "yoffset": -4
  3659. }
  3660. }
  3661. },
  3662. "282": {
  3663. "segments": {
  3664. "type": "string",
  3665. "value": "m0,0 l10,5 l-10,5 z"
  3666. },
  3667. "style": {
  3668. "type": "map<string,string>",
  3669. "value": {
  3670. "stroke": "#000000",
  3671. "fill": "#ffffff",
  3672. "opacity": 0,
  3673. "stroke-width": 1
  3674. }
  3675. },
  3676. "mapper": {
  3677. "type": "code",
  3678. "value": ""
  3679. },
  3680. "parser": {
  3681. "type": "code",
  3682. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3683. },
  3684. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3685. "position": {
  3686. "type": "list<double>",
  3687. "value": [
  3688. "0;-59.00610400584924,-46.620025331309414%",
  3689. "0;122.69721801096489,88.4679220853981%"
  3690. ]
  3691. },
  3692. "orientation": {
  3693. "type": "double",
  3694. "value": "0;117.78792807301528"
  3695. },
  3696. "scale": {
  3697. "type": "list<double>",
  3698. "value": [
  3699. 1,
  3700. 1
  3701. ]
  3702. },
  3703. "arrow": "arrowTail",
  3704. "arrowType": "triangle-white",
  3705. "$linkDecoratorInfo": {
  3706. "type": "map<string,double>",
  3707. "value": {
  3708. "xratio": 1,
  3709. "yoffset": -5
  3710. }
  3711. }
  3712. },
  3713. "283": {
  3714. "segments": {
  3715. "type": "string",
  3716. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3717. },
  3718. "style": {
  3719. "type": "map<string,string>",
  3720. "value": {
  3721. "stroke": "#000000",
  3722. "fill": "#ffffff",
  3723. "opacity": 0,
  3724. "stroke-width": 1
  3725. }
  3726. },
  3727. "mapper": {
  3728. "type": "code",
  3729. "value": ""
  3730. },
  3731. "parser": {
  3732. "type": "code",
  3733. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3734. },
  3735. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3736. "position": {
  3737. "type": "list<double>",
  3738. "value": [
  3739. "0;67.99343285635382,0%",
  3740. "0;-118.30190312124739,0%"
  3741. ]
  3742. },
  3743. "orientation": {
  3744. "type": "double",
  3745. "value": "0;117.78792807301524"
  3746. },
  3747. "scale": {
  3748. "type": "list<double>",
  3749. "value": [
  3750. 1,
  3751. 1
  3752. ]
  3753. },
  3754. "arrow": "arrowHead",
  3755. "arrowType": "diamond-white",
  3756. "$linkDecoratorInfo": {
  3757. "type": "map<string,double>",
  3758. "value": {
  3759. "xratio": -1,
  3760. "yoffset": -5
  3761. }
  3762. }
  3763. },
  3764. "284": {
  3765. "segments": {
  3766. "type": "string",
  3767. "value": "m0,0 l-10,5 l10,5 z"
  3768. },
  3769. "style": {
  3770. "type": "map<string,string>",
  3771. "value": {
  3772. "stroke": "#000000",
  3773. "fill": "#ffffff",
  3774. "opacity": 0,
  3775. "stroke-width": 1
  3776. }
  3777. },
  3778. "mapper": {
  3779. "type": "code",
  3780. "value": ""
  3781. },
  3782. "parser": {
  3783. "type": "code",
  3784. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3785. },
  3786. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3787. "position": {
  3788. "type": "list<double>",
  3789. "value": [
  3790. "0;67.99343285635382,0%",
  3791. "0;-118.30190312124739,0%"
  3792. ]
  3793. },
  3794. "orientation": {
  3795. "type": "double",
  3796. "value": "0;117.78792807301524"
  3797. },
  3798. "scale": {
  3799. "type": "list<double>",
  3800. "value": [
  3801. 1,
  3802. 1
  3803. ]
  3804. },
  3805. "arrow": "arrowHead",
  3806. "arrowType": "triangle-white",
  3807. "$linkDecoratorInfo": {
  3808. "type": "map<string,double>",
  3809. "value": {
  3810. "xratio": -1,
  3811. "yoffset": -5
  3812. }
  3813. }
  3814. },
  3815. "285": {
  3816. "segments": {
  3817. "type": "string",
  3818. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  3819. },
  3820. "style": {
  3821. "type": "map<string,string>",
  3822. "value": {
  3823. "stroke": "#000000",
  3824. "fill": "#000000",
  3825. "opacity": 0,
  3826. "stroke-width": 1
  3827. }
  3828. },
  3829. "mapper": {
  3830. "type": "code",
  3831. "value": ""
  3832. },
  3833. "parser": {
  3834. "type": "code",
  3835. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3836. },
  3837. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3838. "position": {
  3839. "type": "list<double>",
  3840. "value": [
  3841. "0;67.99343285635382,0%",
  3842. "0;-118.30190312124739,0%"
  3843. ]
  3844. },
  3845. "orientation": {
  3846. "type": "double",
  3847. "value": "0;117.78792807301524"
  3848. },
  3849. "scale": {
  3850. "type": "list<double>",
  3851. "value": [
  3852. 1,
  3853. 1
  3854. ]
  3855. },
  3856. "arrow": "arrowHead",
  3857. "arrowType": "diamond-black",
  3858. "$linkDecoratorInfo": {
  3859. "type": "map<string,double>",
  3860. "value": {
  3861. "xratio": -1,
  3862. "yoffset": -5
  3863. }
  3864. }
  3865. },
  3866. "286": {
  3867. "r": {
  3868. "type": "double",
  3869. "value": 10
  3870. },
  3871. "style": {
  3872. "type": "map<string,string>",
  3873. "value": {
  3874. "stroke": "#000000",
  3875. "fill": "#000000",
  3876. "opacity": 0,
  3877. "stroke-width": 1
  3878. }
  3879. },
  3880. "mapper": {
  3881. "type": "code",
  3882. "value": ""
  3883. },
  3884. "parser": {
  3885. "type": "code",
  3886. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3887. },
  3888. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  3889. "position": {
  3890. "type": "list<double>",
  3891. "value": [
  3892. "0;72.41682896062366,0%",
  3893. "0;-115.97090185468198,0%"
  3894. ]
  3895. },
  3896. "orientation": {
  3897. "type": "double",
  3898. "value": "0;117.78792807301524"
  3899. },
  3900. "scale": {
  3901. "type": "list<double>",
  3902. "value": [
  3903. 1,
  3904. 1
  3905. ]
  3906. },
  3907. "arrow": "arrowHead",
  3908. "arrowType": "circle-black-large",
  3909. "$linkDecoratorInfo": {
  3910. "type": "map<string,double>",
  3911. "value": {
  3912. "xratio": -1,
  3913. "yoffset": -10
  3914. }
  3915. }
  3916. },
  3917. "287": {
  3918. "segments": {
  3919. "type": "string",
  3920. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  3921. },
  3922. "style": {
  3923. "type": "map<string,string>",
  3924. "value": {
  3925. "stroke": "#000000",
  3926. "fill": "#000000",
  3927. "opacity": 0,
  3928. "stroke-width": 1
  3929. }
  3930. },
  3931. "mapper": {
  3932. "type": "code",
  3933. "value": ""
  3934. },
  3935. "parser": {
  3936. "type": "code",
  3937. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3938. },
  3939. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3940. "position": {
  3941. "type": "list<double>",
  3942. "value": [
  3943. "0;70.64747051891572,0%",
  3944. "0;-116.90330236130819,0%"
  3945. ]
  3946. },
  3947. "orientation": {
  3948. "type": "double",
  3949. "value": "0;117.78792807301524"
  3950. },
  3951. "scale": {
  3952. "type": "list<double>",
  3953. "value": [
  3954. 1,
  3955. 1
  3956. ]
  3957. },
  3958. "arrow": "arrowHead",
  3959. "arrowType": "arrow-black-large",
  3960. "$linkDecoratorInfo": {
  3961. "type": "map<string,double>",
  3962. "value": {
  3963. "xratio": -1,
  3964. "yoffset": -8
  3965. }
  3966. }
  3967. },
  3968. "288": {
  3969. "segments": {
  3970. "type": "string",
  3971. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  3972. },
  3973. "style": {
  3974. "type": "map<string,string>",
  3975. "value": {
  3976. "stroke": "#000000",
  3977. "fill": "#000000",
  3978. "opacity": 0,
  3979. "stroke-width": 1
  3980. }
  3981. },
  3982. "mapper": {
  3983. "type": "code",
  3984. "value": ""
  3985. },
  3986. "parser": {
  3987. "type": "code",
  3988. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  3989. },
  3990. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  3991. "position": {
  3992. "type": "list<double>",
  3993. "value": [
  3994. "0;67.10875363549974,0%",
  3995. "0;-118.7681033745605,0%"
  3996. ]
  3997. },
  3998. "orientation": {
  3999. "type": "double",
  4000. "value": "0;117.78792807301524"
  4001. },
  4002. "scale": {
  4003. "type": "list<double>",
  4004. "value": [
  4005. 1,
  4006. 1
  4007. ]
  4008. },
  4009. "arrow": "arrowHead",
  4010. "arrowType": "arrow-black",
  4011. "$linkDecoratorInfo": {
  4012. "type": "map<string,double>",
  4013. "value": {
  4014. "xratio": -1,
  4015. "yoffset": -4
  4016. }
  4017. }
  4018. },
  4019. "289": {
  4020. "segments": {
  4021. "type": "string",
  4022. "value": "m0,0 l-20,10 l20,10 z"
  4023. },
  4024. "style": {
  4025. "type": "map<string,string>",
  4026. "value": {
  4027. "stroke": "#000000",
  4028. "fill": "#ffffff",
  4029. "opacity": 0,
  4030. "stroke-width": 1
  4031. }
  4032. },
  4033. "mapper": {
  4034. "type": "code",
  4035. "value": ""
  4036. },
  4037. "parser": {
  4038. "type": "code",
  4039. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4040. },
  4041. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4042. "position": {
  4043. "type": "list<double>",
  4044. "value": [
  4045. "0;72.41682896062366,0%",
  4046. "0;-115.97090185468198,0%"
  4047. ]
  4048. },
  4049. "orientation": {
  4050. "type": "double",
  4051. "value": "0;117.78792807301524"
  4052. },
  4053. "scale": {
  4054. "type": "list<double>",
  4055. "value": [
  4056. 1,
  4057. 1
  4058. ]
  4059. },
  4060. "arrow": "arrowHead",
  4061. "arrowType": "triangle-white-large",
  4062. "$linkDecoratorInfo": {
  4063. "type": "map<string,double>",
  4064. "value": {
  4065. "xratio": -1,
  4066. "yoffset": -10
  4067. }
  4068. }
  4069. },
  4070. "290": {
  4071. "segments": {
  4072. "type": "string",
  4073. "value": "m0,0 l-20,10 l20,10 z"
  4074. },
  4075. "style": {
  4076. "type": "map<string,string>",
  4077. "value": {
  4078. "stroke": "#000000",
  4079. "fill": "#000000",
  4080. "opacity": 0,
  4081. "stroke-width": 1
  4082. }
  4083. },
  4084. "mapper": {
  4085. "type": "code",
  4086. "value": ""
  4087. },
  4088. "parser": {
  4089. "type": "code",
  4090. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4091. },
  4092. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4093. "position": {
  4094. "type": "list<double>",
  4095. "value": [
  4096. "0;72.41682896062366,0%",
  4097. "0;-115.97090185468198,0%"
  4098. ]
  4099. },
  4100. "orientation": {
  4101. "type": "double",
  4102. "value": "0;117.78792807301524"
  4103. },
  4104. "scale": {
  4105. "type": "list<double>",
  4106. "value": [
  4107. 1,
  4108. 1
  4109. ]
  4110. },
  4111. "arrow": "arrowHead",
  4112. "arrowType": "triangle-black-large",
  4113. "$linkDecoratorInfo": {
  4114. "type": "map<string,double>",
  4115. "value": {
  4116. "xratio": -1,
  4117. "yoffset": -10
  4118. }
  4119. }
  4120. },
  4121. "291": {
  4122. "r": {
  4123. "type": "double",
  4124. "value": 5
  4125. },
  4126. "style": {
  4127. "type": "map<string,string>",
  4128. "value": {
  4129. "stroke": "#000000",
  4130. "fill": "#000000",
  4131. "opacity": 0,
  4132. "stroke-width": 1
  4133. }
  4134. },
  4135. "mapper": {
  4136. "type": "code",
  4137. "value": ""
  4138. },
  4139. "parser": {
  4140. "type": "code",
  4141. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4142. },
  4143. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4144. "position": {
  4145. "type": "list<double>",
  4146. "value": [
  4147. "0;67.99343285635382,0%",
  4148. "0;-118.30190312124739,0%"
  4149. ]
  4150. },
  4151. "orientation": {
  4152. "type": "double",
  4153. "value": "0;117.78792807301524"
  4154. },
  4155. "scale": {
  4156. "type": "list<double>",
  4157. "value": [
  4158. 1,
  4159. 1
  4160. ]
  4161. },
  4162. "arrow": "arrowHead",
  4163. "arrowType": "circle-black",
  4164. "$linkDecoratorInfo": {
  4165. "type": "map<string,double>",
  4166. "value": {
  4167. "xratio": -1,
  4168. "yoffset": -5
  4169. }
  4170. }
  4171. },
  4172. "292": {
  4173. "r": {
  4174. "type": "double",
  4175. "value": 5
  4176. },
  4177. "style": {
  4178. "type": "map<string,string>",
  4179. "value": {
  4180. "stroke": "#000000",
  4181. "fill": "#ffffff",
  4182. "opacity": 0,
  4183. "stroke-width": 1
  4184. }
  4185. },
  4186. "mapper": {
  4187. "type": "code",
  4188. "value": ""
  4189. },
  4190. "parser": {
  4191. "type": "code",
  4192. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4193. },
  4194. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4195. "position": {
  4196. "type": "list<double>",
  4197. "value": [
  4198. "0;67.99343285635382,0%",
  4199. "0;-118.30190312124739,0%"
  4200. ]
  4201. },
  4202. "orientation": {
  4203. "type": "double",
  4204. "value": "0;117.78792807301524"
  4205. },
  4206. "scale": {
  4207. "type": "list<double>",
  4208. "value": [
  4209. 1,
  4210. 1
  4211. ]
  4212. },
  4213. "arrow": "arrowHead",
  4214. "arrowType": "circle-white",
  4215. "$linkDecoratorInfo": {
  4216. "type": "map<string,double>",
  4217. "value": {
  4218. "xratio": -1,
  4219. "yoffset": -5
  4220. }
  4221. }
  4222. },
  4223. "293": {
  4224. "r": {
  4225. "type": "double",
  4226. "value": 10
  4227. },
  4228. "style": {
  4229. "type": "map<string,string>",
  4230. "value": {
  4231. "stroke": "#000000",
  4232. "fill": "#ffffff",
  4233. "opacity": 0,
  4234. "stroke-width": 1
  4235. }
  4236. },
  4237. "mapper": {
  4238. "type": "code",
  4239. "value": ""
  4240. },
  4241. "parser": {
  4242. "type": "code",
  4243. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4244. },
  4245. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4246. "position": {
  4247. "type": "list<double>",
  4248. "value": [
  4249. "0;72.41682896062366,0%",
  4250. "0;-115.97090185468198,0%"
  4251. ]
  4252. },
  4253. "orientation": {
  4254. "type": "double",
  4255. "value": "0;117.78792807301524"
  4256. },
  4257. "scale": {
  4258. "type": "list<double>",
  4259. "value": [
  4260. 1,
  4261. 1
  4262. ]
  4263. },
  4264. "arrow": "arrowHead",
  4265. "arrowType": "circle-white-large",
  4266. "$linkDecoratorInfo": {
  4267. "type": "map<string,double>",
  4268. "value": {
  4269. "xratio": -1,
  4270. "yoffset": -10
  4271. }
  4272. }
  4273. },
  4274. "294": {
  4275. "segments": {
  4276. "type": "string",
  4277. "value": "m0,0 l-20,8 l20,8"
  4278. },
  4279. "style": {
  4280. "type": "map<string,string>",
  4281. "value": {
  4282. "stroke": "#000000",
  4283. "fill": "#000000",
  4284. "fill-opacity": 0,
  4285. "stroke-width": 1,
  4286. "opacity": 0
  4287. }
  4288. },
  4289. "mapper": {
  4290. "type": "code",
  4291. "value": ""
  4292. },
  4293. "parser": {
  4294. "type": "code",
  4295. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4296. },
  4297. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4298. "position": {
  4299. "type": "list<double>",
  4300. "value": [
  4301. "0;70.64747051891572,0%",
  4302. "0;-116.90330236130819,0%"
  4303. ]
  4304. },
  4305. "orientation": {
  4306. "type": "double",
  4307. "value": "0;117.78792807301524"
  4308. },
  4309. "scale": {
  4310. "type": "list<double>",
  4311. "value": [
  4312. 1,
  4313. 1
  4314. ]
  4315. },
  4316. "arrow": "arrowHead",
  4317. "arrowType": "arrow-empty-large",
  4318. "$linkDecoratorInfo": {
  4319. "type": "map<string,double>",
  4320. "value": {
  4321. "xratio": -1,
  4322. "yoffset": -8
  4323. }
  4324. }
  4325. },
  4326. "295": {
  4327. "segments": {
  4328. "type": "string",
  4329. "value": "m0,0 l-10,4 l10,4"
  4330. },
  4331. "style": {
  4332. "type": "map<string,string>",
  4333. "value": {
  4334. "stroke": "#000000",
  4335. "fill": "#000000",
  4336. "fill-opacity": 0,
  4337. "stroke-width": 1,
  4338. "opacity": 0
  4339. }
  4340. },
  4341. "mapper": {
  4342. "type": "code",
  4343. "value": ""
  4344. },
  4345. "parser": {
  4346. "type": "code",
  4347. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4348. },
  4349. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4350. "position": {
  4351. "type": "list<double>",
  4352. "value": [
  4353. "0;67.10875363549974,0%",
  4354. "0;-118.7681033745605,0%"
  4355. ]
  4356. },
  4357. "orientation": {
  4358. "type": "double",
  4359. "value": "0;117.78792807301524"
  4360. },
  4361. "scale": {
  4362. "type": "list<double>",
  4363. "value": [
  4364. 1,
  4365. 1
  4366. ]
  4367. },
  4368. "arrow": "arrowHead",
  4369. "arrowType": "arrow-empty",
  4370. "$linkDecoratorInfo": {
  4371. "type": "map<string,double>",
  4372. "value": {
  4373. "xratio": -1,
  4374. "yoffset": -4
  4375. }
  4376. }
  4377. },
  4378. "296": {
  4379. "segments": {
  4380. "type": "string",
  4381. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4382. },
  4383. "style": {
  4384. "type": "map<string,string>",
  4385. "value": {
  4386. "stroke": "#000000",
  4387. "fill": "#000000",
  4388. "opacity": 0,
  4389. "stroke-width": 1
  4390. }
  4391. },
  4392. "mapper": {
  4393. "type": "code",
  4394. "value": ""
  4395. },
  4396. "parser": {
  4397. "type": "code",
  4398. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4399. },
  4400. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4401. "position": {
  4402. "type": "list<double>",
  4403. "value": [
  4404. "0;72.41682896062366,0%",
  4405. "0;-115.97090185468198,0%"
  4406. ]
  4407. },
  4408. "orientation": {
  4409. "type": "double",
  4410. "value": "0;117.78792807301524"
  4411. },
  4412. "scale": {
  4413. "type": "list<double>",
  4414. "value": [
  4415. 1,
  4416. 1
  4417. ]
  4418. },
  4419. "arrow": "arrowHead",
  4420. "arrowType": "diamond-black-large",
  4421. "$linkDecoratorInfo": {
  4422. "type": "map<string,double>",
  4423. "value": {
  4424. "xratio": -1,
  4425. "yoffset": -10
  4426. }
  4427. }
  4428. },
  4429. "297": {
  4430. "segments": {
  4431. "type": "string",
  4432. "value": "m0,0 l-10,4 l10,4 z"
  4433. },
  4434. "style": {
  4435. "type": "map<string,string>",
  4436. "value": {
  4437. "stroke": "#000000",
  4438. "fill": "#000000",
  4439. "opacity": 0,
  4440. "stroke-width": 1
  4441. }
  4442. },
  4443. "mapper": {
  4444. "type": "code",
  4445. "value": ""
  4446. },
  4447. "parser": {
  4448. "type": "code",
  4449. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4450. },
  4451. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4452. "position": {
  4453. "type": "list<double>",
  4454. "value": [
  4455. "0;67.10875363549974,0%",
  4456. "0;-118.7681033745605,0%"
  4457. ]
  4458. },
  4459. "orientation": {
  4460. "type": "double",
  4461. "value": "0;117.78792807301524"
  4462. },
  4463. "scale": {
  4464. "type": "list<double>",
  4465. "value": [
  4466. 1,
  4467. 1
  4468. ]
  4469. },
  4470. "arrow": "arrowHead",
  4471. "arrowType": "triangle-black",
  4472. "$linkDecoratorInfo": {
  4473. "type": "map<string,double>",
  4474. "value": {
  4475. "xratio": -1,
  4476. "yoffset": -4
  4477. }
  4478. }
  4479. },
  4480. "298": {
  4481. "segments": {
  4482. "type": "string",
  4483. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4484. },
  4485. "style": {
  4486. "type": "map<string,string>",
  4487. "value": {
  4488. "stroke": "#000000",
  4489. "fill": "#ffffff",
  4490. "opacity": 0,
  4491. "stroke-width": 1
  4492. }
  4493. },
  4494. "mapper": {
  4495. "type": "code",
  4496. "value": ""
  4497. },
  4498. "parser": {
  4499. "type": "code",
  4500. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4501. },
  4502. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4503. "position": {
  4504. "type": "list<double>",
  4505. "value": [
  4506. "0;72.41682896062366,0%",
  4507. "0;-115.97090185468198,0%"
  4508. ]
  4509. },
  4510. "orientation": {
  4511. "type": "double",
  4512. "value": "0;117.78792807301524"
  4513. },
  4514. "scale": {
  4515. "type": "list<double>",
  4516. "value": [
  4517. 1,
  4518. 1
  4519. ]
  4520. },
  4521. "arrow": "arrowHead",
  4522. "arrowType": "diamond-white-large",
  4523. "$linkDecoratorInfo": {
  4524. "type": "map<string,double>",
  4525. "value": {
  4526. "xratio": -1,
  4527. "yoffset": -10
  4528. }
  4529. }
  4530. }
  4531. },
  4532. "edges": []
  4533. }
  4534. },
  4535. "$asuri": {
  4536. "type": "string",
  4537. "value": "/Formalisms/__Transformations__/Transformation/MoTif/success/86.instance"
  4538. },
  4539. "$segments": {
  4540. "type": "map<string,list<string>>",
  4541. "value": {
  4542. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/84.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/86.instance": "M615,513L551.4299632479161,633.6329043878129",
  4543. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink/86.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndSuccessIcon/6.instance": "M551.4651361120674,633.5661590314313L488.00046313779694,753.9991211322123"
  4544. }
  4545. },
  4546. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/successLink"
  4547. },
  4548. "87": {
  4549. "link-style": {
  4550. "type": "map<string,string>",
  4551. "value": {
  4552. "stroke": "#800000",
  4553. "stroke-dasharray": "",
  4554. "stroke-opacity": 1,
  4555. "stroke-width": 2
  4556. }
  4557. },
  4558. "arrowHead": {
  4559. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  4560. "value": "custom"
  4561. },
  4562. "arrowTail": {
  4563. "type": "ENUM(circle-black,circle-black-large,circle-white,circle-white-large,diamond-black,diamond-black-large,diamond-white,diamond-white-large,triangle-black,triangle-black-large,triangle-white,triangle-white-large,arrow-black,arrow-black-large,arrow-empty,arrow-empty-large,custom)",
  4564. "value": "arrow-black"
  4565. },
  4566. "typename": {
  4567. "type": "string",
  4568. "value": "failLink"
  4569. },
  4570. "position": {
  4571. "type": "list<double>",
  4572. "value": [
  4573. 777,
  4574. 625
  4575. ]
  4576. },
  4577. "orientation": {
  4578. "type": "double",
  4579. "value": 0
  4580. },
  4581. "scale": {
  4582. "type": "list<double>",
  4583. "value": [
  4584. 1,
  4585. 1
  4586. ]
  4587. },
  4588. "mapper": {
  4589. "type": "code",
  4590. "value": "/* specify code that evaluates to an associative array of the form {...,csattr:val,...} */"
  4591. },
  4592. "parser": {
  4593. "type": "code",
  4594. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4595. },
  4596. "$contents": {
  4597. "type": "map<string,*>",
  4598. "value": {
  4599. "nodes": {
  4600. "267": {
  4601. "segments": {
  4602. "type": "string",
  4603. "value": "m0,0 l10,4 l-10,4 l3,-4 z"
  4604. },
  4605. "style": {
  4606. "type": "map<string,string>",
  4607. "value": {
  4608. "stroke": "#000000",
  4609. "fill": "#000000",
  4610. "opacity": 0,
  4611. "stroke-width": 1
  4612. }
  4613. },
  4614. "mapper": {
  4615. "type": "code",
  4616. "value": ""
  4617. },
  4618. "parser": {
  4619. "type": "code",
  4620. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4621. },
  4622. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4623. "position": {
  4624. "type": "list<double>",
  4625. "value": [
  4626. "0;66.51483381594255,47.72590320194986%",
  4627. "0;114.0905646246282,87.87626621311418%"
  4628. ]
  4629. },
  4630. "orientation": {
  4631. "type": "double",
  4632. "value": "0;61.49346243200767"
  4633. },
  4634. "scale": {
  4635. "type": "list<double>",
  4636. "value": [
  4637. 1,
  4638. 1
  4639. ]
  4640. },
  4641. "arrow": "arrowTail",
  4642. "arrowType": "arrow-black",
  4643. "$linkDecoratorInfo": {
  4644. "type": "map<string,double>",
  4645. "value": {
  4646. "xratio": 1,
  4647. "yoffset": -4
  4648. }
  4649. }
  4650. },
  4651. "268": {
  4652. "segments": {
  4653. "type": "string",
  4654. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  4655. },
  4656. "style": {
  4657. "type": "map<string,string>",
  4658. "value": {
  4659. "stroke": "#000000",
  4660. "fill": "#000000",
  4661. "opacity": 0,
  4662. "stroke-width": 1
  4663. }
  4664. },
  4665. "mapper": {
  4666. "type": "code",
  4667. "value": ""
  4668. },
  4669. "parser": {
  4670. "type": "code",
  4671. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4672. },
  4673. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4674. "position": {
  4675. "type": "list<double>",
  4676. "value": [
  4677. "0;71.7874097887294,47.72590320194986%",
  4678. "0;111.22701043251118,87.87626621311418%"
  4679. ]
  4680. },
  4681. "orientation": {
  4682. "type": "double",
  4683. "value": "0;61.49346243200767"
  4684. },
  4685. "scale": {
  4686. "type": "list<double>",
  4687. "value": [
  4688. 1,
  4689. 1
  4690. ]
  4691. },
  4692. "arrow": "arrowTail",
  4693. "arrowType": "diamond-black-large",
  4694. "$linkDecoratorInfo": {
  4695. "type": "map<string,double>",
  4696. "value": {
  4697. "xratio": 1,
  4698. "yoffset": -10
  4699. }
  4700. }
  4701. },
  4702. "269": {
  4703. "r": {
  4704. "type": "double",
  4705. "value": 10
  4706. },
  4707. "style": {
  4708. "type": "map<string,string>",
  4709. "value": {
  4710. "stroke": "#000000",
  4711. "fill": "#000000",
  4712. "opacity": 0,
  4713. "stroke-width": 1
  4714. }
  4715. },
  4716. "mapper": {
  4717. "type": "code",
  4718. "value": ""
  4719. },
  4720. "parser": {
  4721. "type": "code",
  4722. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4723. },
  4724. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4725. "position": {
  4726. "type": "list<double>",
  4727. "value": [
  4728. "0;71.7874097887294,47.72590320194986%",
  4729. "0;111.22701043251118,87.87626621311418%"
  4730. ]
  4731. },
  4732. "orientation": {
  4733. "type": "double",
  4734. "value": "0;61.49346243200767"
  4735. },
  4736. "scale": {
  4737. "type": "list<double>",
  4738. "value": [
  4739. 1,
  4740. 1
  4741. ]
  4742. },
  4743. "arrow": "arrowTail",
  4744. "arrowType": "circle-black-large",
  4745. "$linkDecoratorInfo": {
  4746. "type": "map<string,double>",
  4747. "value": {
  4748. "xratio": 1,
  4749. "yoffset": -10
  4750. }
  4751. }
  4752. },
  4753. "270": {
  4754. "r": {
  4755. "type": "double",
  4756. "value": 10
  4757. },
  4758. "style": {
  4759. "type": "map<string,string>",
  4760. "value": {
  4761. "stroke": "#000000",
  4762. "fill": "#ffffff",
  4763. "opacity": 0,
  4764. "stroke-width": 1
  4765. }
  4766. },
  4767. "mapper": {
  4768. "type": "code",
  4769. "value": ""
  4770. },
  4771. "parser": {
  4772. "type": "code",
  4773. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4774. },
  4775. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4776. "position": {
  4777. "type": "list<double>",
  4778. "value": [
  4779. "0;71.7874097887294,47.72590320194986%",
  4780. "0;111.22701043251118,87.87626621311418%"
  4781. ]
  4782. },
  4783. "orientation": {
  4784. "type": "double",
  4785. "value": "0;61.49346243200767"
  4786. },
  4787. "scale": {
  4788. "type": "list<double>",
  4789. "value": [
  4790. 1,
  4791. 1
  4792. ]
  4793. },
  4794. "arrow": "arrowTail",
  4795. "arrowType": "circle-white-large",
  4796. "$linkDecoratorInfo": {
  4797. "type": "map<string,double>",
  4798. "value": {
  4799. "xratio": 1,
  4800. "yoffset": -10
  4801. }
  4802. }
  4803. },
  4804. "271": {
  4805. "r": {
  4806. "type": "double",
  4807. "value": 5
  4808. },
  4809. "style": {
  4810. "type": "map<string,string>",
  4811. "value": {
  4812. "stroke": "#000000",
  4813. "fill": "#000000",
  4814. "opacity": 0,
  4815. "stroke-width": 1
  4816. }
  4817. },
  4818. "mapper": {
  4819. "type": "code",
  4820. "value": ""
  4821. },
  4822. "parser": {
  4823. "type": "code",
  4824. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4825. },
  4826. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  4827. "position": {
  4828. "type": "list<double>",
  4829. "value": [
  4830. "0;67.39359647807362,47.72590320194986%",
  4831. "0;113.61330559260875,87.87626621311418%"
  4832. ]
  4833. },
  4834. "orientation": {
  4835. "type": "double",
  4836. "value": "0;61.49346243200767"
  4837. },
  4838. "scale": {
  4839. "type": "list<double>",
  4840. "value": [
  4841. 1,
  4842. 1
  4843. ]
  4844. },
  4845. "arrow": "arrowTail",
  4846. "arrowType": "circle-black",
  4847. "$linkDecoratorInfo": {
  4848. "type": "map<string,double>",
  4849. "value": {
  4850. "xratio": 1,
  4851. "yoffset": -5
  4852. }
  4853. }
  4854. },
  4855. "272": {
  4856. "segments": {
  4857. "type": "string",
  4858. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  4859. },
  4860. "style": {
  4861. "type": "map<string,string>",
  4862. "value": {
  4863. "stroke": "#000000",
  4864. "fill": "#000000",
  4865. "opacity": 0,
  4866. "stroke-width": 1
  4867. }
  4868. },
  4869. "mapper": {
  4870. "type": "code",
  4871. "value": ""
  4872. },
  4873. "parser": {
  4874. "type": "code",
  4875. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4876. },
  4877. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4878. "position": {
  4879. "type": "list<double>",
  4880. "value": [
  4881. "0;67.39359647807362,47.72590320194986%",
  4882. "0;113.61330559260875,87.87626621311418%"
  4883. ]
  4884. },
  4885. "orientation": {
  4886. "type": "double",
  4887. "value": "0;61.49346243200767"
  4888. },
  4889. "scale": {
  4890. "type": "list<double>",
  4891. "value": [
  4892. 1,
  4893. 1
  4894. ]
  4895. },
  4896. "arrow": "arrowTail",
  4897. "arrowType": "diamond-black",
  4898. "$linkDecoratorInfo": {
  4899. "type": "map<string,double>",
  4900. "value": {
  4901. "xratio": 1,
  4902. "yoffset": -5
  4903. }
  4904. }
  4905. },
  4906. "273": {
  4907. "segments": {
  4908. "type": "string",
  4909. "value": "m0,0 l20,10 l-20,10 z"
  4910. },
  4911. "style": {
  4912. "type": "map<string,string>",
  4913. "value": {
  4914. "stroke": "#000000",
  4915. "fill": "#000000",
  4916. "opacity": 0,
  4917. "stroke-width": 1
  4918. }
  4919. },
  4920. "mapper": {
  4921. "type": "code",
  4922. "value": ""
  4923. },
  4924. "parser": {
  4925. "type": "code",
  4926. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4927. },
  4928. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4929. "position": {
  4930. "type": "list<double>",
  4931. "value": [
  4932. "0;71.7874097887294,47.72590320194986%",
  4933. "0;111.22701043251118,87.87626621311418%"
  4934. ]
  4935. },
  4936. "orientation": {
  4937. "type": "double",
  4938. "value": "0;61.49346243200767"
  4939. },
  4940. "scale": {
  4941. "type": "list<double>",
  4942. "value": [
  4943. 1,
  4944. 1
  4945. ]
  4946. },
  4947. "arrow": "arrowTail",
  4948. "arrowType": "triangle-black-large",
  4949. "$linkDecoratorInfo": {
  4950. "type": "map<string,double>",
  4951. "value": {
  4952. "xratio": 1,
  4953. "yoffset": -10
  4954. }
  4955. }
  4956. },
  4957. "274": {
  4958. "segments": {
  4959. "type": "string",
  4960. "value": "m0,0 l10,4 l-10,4 z"
  4961. },
  4962. "style": {
  4963. "type": "map<string,string>",
  4964. "value": {
  4965. "stroke": "#000000",
  4966. "fill": "#000000",
  4967. "opacity": 0,
  4968. "stroke-width": 1
  4969. }
  4970. },
  4971. "mapper": {
  4972. "type": "code",
  4973. "value": ""
  4974. },
  4975. "parser": {
  4976. "type": "code",
  4977. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  4978. },
  4979. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  4980. "position": {
  4981. "type": "list<double>",
  4982. "value": [
  4983. "0;66.51483381594255,47.72590320194986%",
  4984. "0;114.0905646246282,87.87626621311418%"
  4985. ]
  4986. },
  4987. "orientation": {
  4988. "type": "double",
  4989. "value": "0;61.49346243200767"
  4990. },
  4991. "scale": {
  4992. "type": "list<double>",
  4993. "value": [
  4994. 1,
  4995. 1
  4996. ]
  4997. },
  4998. "arrow": "arrowTail",
  4999. "arrowType": "triangle-black",
  5000. "$linkDecoratorInfo": {
  5001. "type": "map<string,double>",
  5002. "value": {
  5003. "xratio": 1,
  5004. "yoffset": -4
  5005. }
  5006. }
  5007. },
  5008. "275": {
  5009. "segments": {
  5010. "type": "string",
  5011. "value": "m0,0 l20,8 l-20,8 l6,-8 z"
  5012. },
  5013. "style": {
  5014. "type": "map<string,string>",
  5015. "value": {
  5016. "stroke": "#000000",
  5017. "fill": "#000000",
  5018. "opacity": 0,
  5019. "stroke-width": 1
  5020. }
  5021. },
  5022. "mapper": {
  5023. "type": "code",
  5024. "value": ""
  5025. },
  5026. "parser": {
  5027. "type": "code",
  5028. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5029. },
  5030. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5031. "position": {
  5032. "type": "list<double>",
  5033. "value": [
  5034. "0;70.02988446446705,47.72590320194986%",
  5035. "0;112.18152849655019,87.87626621311418%"
  5036. ]
  5037. },
  5038. "orientation": {
  5039. "type": "double",
  5040. "value": "0;61.49346243200767"
  5041. },
  5042. "scale": {
  5043. "type": "list<double>",
  5044. "value": [
  5045. 1,
  5046. 1
  5047. ]
  5048. },
  5049. "arrow": "arrowTail",
  5050. "arrowType": "arrow-black-large",
  5051. "$linkDecoratorInfo": {
  5052. "type": "map<string,double>",
  5053. "value": {
  5054. "xratio": 1,
  5055. "yoffset": -8
  5056. }
  5057. }
  5058. },
  5059. "276": {
  5060. "segments": {
  5061. "type": "string",
  5062. "value": "m0,0 l20,10 l-20,10 z"
  5063. },
  5064. "style": {
  5065. "type": "map<string,string>",
  5066. "value": {
  5067. "stroke": "#000000",
  5068. "fill": "#ffffff",
  5069. "opacity": 0,
  5070. "stroke-width": 1
  5071. }
  5072. },
  5073. "mapper": {
  5074. "type": "code",
  5075. "value": ""
  5076. },
  5077. "parser": {
  5078. "type": "code",
  5079. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5080. },
  5081. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5082. "position": {
  5083. "type": "list<double>",
  5084. "value": [
  5085. "0;71.7874097887294,47.72590320194986%",
  5086. "0;111.22701043251118,87.87626621311418%"
  5087. ]
  5088. },
  5089. "orientation": {
  5090. "type": "double",
  5091. "value": "0;61.49346243200767"
  5092. },
  5093. "scale": {
  5094. "type": "list<double>",
  5095. "value": [
  5096. 1,
  5097. 1
  5098. ]
  5099. },
  5100. "arrow": "arrowTail",
  5101. "arrowType": "triangle-white-large",
  5102. "$linkDecoratorInfo": {
  5103. "type": "map<string,double>",
  5104. "value": {
  5105. "xratio": 1,
  5106. "yoffset": -10
  5107. }
  5108. }
  5109. },
  5110. "277": {
  5111. "segments": {
  5112. "type": "string",
  5113. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5114. },
  5115. "style": {
  5116. "type": "map<string,string>",
  5117. "value": {
  5118. "stroke": "#000000",
  5119. "fill": "#ffffff",
  5120. "opacity": 0,
  5121. "stroke-width": 1
  5122. }
  5123. },
  5124. "mapper": {
  5125. "type": "code",
  5126. "value": ""
  5127. },
  5128. "parser": {
  5129. "type": "code",
  5130. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5131. },
  5132. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5133. "position": {
  5134. "type": "list<double>",
  5135. "value": [
  5136. "0;67.39359647807362,47.72590320194986%",
  5137. "0;113.61330559260875,87.87626621311418%"
  5138. ]
  5139. },
  5140. "orientation": {
  5141. "type": "double",
  5142. "value": "0;61.49346243200767"
  5143. },
  5144. "scale": {
  5145. "type": "list<double>",
  5146. "value": [
  5147. 1,
  5148. 1
  5149. ]
  5150. },
  5151. "arrow": "arrowTail",
  5152. "arrowType": "diamond-white",
  5153. "$linkDecoratorInfo": {
  5154. "type": "map<string,double>",
  5155. "value": {
  5156. "xratio": 1,
  5157. "yoffset": -5
  5158. }
  5159. }
  5160. },
  5161. "278": {
  5162. "segments": {
  5163. "type": "string",
  5164. "value": "m0,0 l20,8 l-20,8"
  5165. },
  5166. "style": {
  5167. "type": "map<string,string>",
  5168. "value": {
  5169. "stroke": "#000000",
  5170. "fill": "#000000",
  5171. "fill-opacity": 0,
  5172. "stroke-width": 1,
  5173. "opacity": 0
  5174. }
  5175. },
  5176. "mapper": {
  5177. "type": "code",
  5178. "value": ""
  5179. },
  5180. "parser": {
  5181. "type": "code",
  5182. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5183. },
  5184. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5185. "position": {
  5186. "type": "list<double>",
  5187. "value": [
  5188. "0;70.02988446446705,47.72590320194986%",
  5189. "0;112.18152849655019,87.87626621311418%"
  5190. ]
  5191. },
  5192. "orientation": {
  5193. "type": "double",
  5194. "value": "0;61.49346243200767"
  5195. },
  5196. "scale": {
  5197. "type": "list<double>",
  5198. "value": [
  5199. 1,
  5200. 1
  5201. ]
  5202. },
  5203. "arrow": "arrowTail",
  5204. "arrowType": "arrow-empty-large",
  5205. "$linkDecoratorInfo": {
  5206. "type": "map<string,double>",
  5207. "value": {
  5208. "xratio": 1,
  5209. "yoffset": -8
  5210. }
  5211. }
  5212. },
  5213. "279": {
  5214. "r": {
  5215. "type": "double",
  5216. "value": 5
  5217. },
  5218. "style": {
  5219. "type": "map<string,string>",
  5220. "value": {
  5221. "stroke": "#000000",
  5222. "fill": "#ffffff",
  5223. "opacity": 0,
  5224. "stroke-width": 1
  5225. }
  5226. },
  5227. "mapper": {
  5228. "type": "code",
  5229. "value": ""
  5230. },
  5231. "parser": {
  5232. "type": "code",
  5233. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5234. },
  5235. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5236. "position": {
  5237. "type": "list<double>",
  5238. "value": [
  5239. "0;67.39359647807362,47.72590320194986%",
  5240. "0;113.61330559260875,87.87626621311418%"
  5241. ]
  5242. },
  5243. "orientation": {
  5244. "type": "double",
  5245. "value": "0;61.49346243200767"
  5246. },
  5247. "scale": {
  5248. "type": "list<double>",
  5249. "value": [
  5250. 1,
  5251. 1
  5252. ]
  5253. },
  5254. "arrow": "arrowTail",
  5255. "arrowType": "circle-white",
  5256. "$linkDecoratorInfo": {
  5257. "type": "map<string,double>",
  5258. "value": {
  5259. "xratio": 1,
  5260. "yoffset": -5
  5261. }
  5262. }
  5263. },
  5264. "280": {
  5265. "segments": {
  5266. "type": "string",
  5267. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  5268. },
  5269. "style": {
  5270. "type": "map<string,string>",
  5271. "value": {
  5272. "stroke": "#000000",
  5273. "fill": "#ffffff",
  5274. "opacity": 0,
  5275. "stroke-width": 1
  5276. }
  5277. },
  5278. "mapper": {
  5279. "type": "code",
  5280. "value": ""
  5281. },
  5282. "parser": {
  5283. "type": "code",
  5284. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5285. },
  5286. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5287. "position": {
  5288. "type": "list<double>",
  5289. "value": [
  5290. "0;71.7874097887294,47.72590320194986%",
  5291. "0;111.22701043251118,87.87626621311418%"
  5292. ]
  5293. },
  5294. "orientation": {
  5295. "type": "double",
  5296. "value": "0;61.49346243200767"
  5297. },
  5298. "scale": {
  5299. "type": "list<double>",
  5300. "value": [
  5301. 1,
  5302. 1
  5303. ]
  5304. },
  5305. "arrow": "arrowTail",
  5306. "arrowType": "diamond-white-large",
  5307. "$linkDecoratorInfo": {
  5308. "type": "map<string,double>",
  5309. "value": {
  5310. "xratio": 1,
  5311. "yoffset": -10
  5312. }
  5313. }
  5314. },
  5315. "281": {
  5316. "segments": {
  5317. "type": "string",
  5318. "value": "m0,0 l10,4 l-10,4"
  5319. },
  5320. "style": {
  5321. "type": "map<string,string>",
  5322. "value": {
  5323. "stroke": "#000000",
  5324. "fill": "#000000",
  5325. "fill-opacity": 0,
  5326. "stroke-width": 1,
  5327. "opacity": 0
  5328. }
  5329. },
  5330. "mapper": {
  5331. "type": "code",
  5332. "value": ""
  5333. },
  5334. "parser": {
  5335. "type": "code",
  5336. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5337. },
  5338. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5339. "position": {
  5340. "type": "list<double>",
  5341. "value": [
  5342. "0;66.51483381594255,47.72590320194986%",
  5343. "0;114.0905646246282,87.87626621311418%"
  5344. ]
  5345. },
  5346. "orientation": {
  5347. "type": "double",
  5348. "value": "0;61.49346243200767"
  5349. },
  5350. "scale": {
  5351. "type": "list<double>",
  5352. "value": [
  5353. 1,
  5354. 1
  5355. ]
  5356. },
  5357. "arrow": "arrowTail",
  5358. "arrowType": "arrow-empty",
  5359. "$linkDecoratorInfo": {
  5360. "type": "map<string,double>",
  5361. "value": {
  5362. "xratio": 1,
  5363. "yoffset": -4
  5364. }
  5365. }
  5366. },
  5367. "282": {
  5368. "segments": {
  5369. "type": "string",
  5370. "value": "m0,0 l10,5 l-10,5 z"
  5371. },
  5372. "style": {
  5373. "type": "map<string,string>",
  5374. "value": {
  5375. "stroke": "#000000",
  5376. "fill": "#ffffff",
  5377. "opacity": 0,
  5378. "stroke-width": 1
  5379. }
  5380. },
  5381. "mapper": {
  5382. "type": "code",
  5383. "value": ""
  5384. },
  5385. "parser": {
  5386. "type": "code",
  5387. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5388. },
  5389. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5390. "position": {
  5391. "type": "list<double>",
  5392. "value": [
  5393. "0;67.39359647807362,47.72590320194986%",
  5394. "0;113.61330559260875,87.87626621311418%"
  5395. ]
  5396. },
  5397. "orientation": {
  5398. "type": "double",
  5399. "value": "0;61.49346243200767"
  5400. },
  5401. "scale": {
  5402. "type": "list<double>",
  5403. "value": [
  5404. 1,
  5405. 1
  5406. ]
  5407. },
  5408. "arrow": "arrowTail",
  5409. "arrowType": "triangle-white",
  5410. "$linkDecoratorInfo": {
  5411. "type": "map<string,double>",
  5412. "value": {
  5413. "xratio": 1,
  5414. "yoffset": -5
  5415. }
  5416. }
  5417. },
  5418. "283": {
  5419. "segments": {
  5420. "type": "string",
  5421. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5422. },
  5423. "style": {
  5424. "type": "map<string,string>",
  5425. "value": {
  5426. "stroke": "#000000",
  5427. "fill": "#ffffff",
  5428. "opacity": 0,
  5429. "stroke-width": 1
  5430. }
  5431. },
  5432. "mapper": {
  5433. "type": "code",
  5434. "value": ""
  5435. },
  5436. "parser": {
  5437. "type": "code",
  5438. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5439. },
  5440. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5441. "position": {
  5442. "type": "list<double>",
  5443. "value": [
  5444. "0;-58.60618668934433,0%",
  5445. "0;-118.38629516009746,0%"
  5446. ]
  5447. },
  5448. "orientation": {
  5449. "type": "double",
  5450. "value": "0;61.49346243200763"
  5451. },
  5452. "scale": {
  5453. "type": "list<double>",
  5454. "value": [
  5455. 1,
  5456. 1
  5457. ]
  5458. },
  5459. "arrow": "arrowHead",
  5460. "arrowType": "diamond-white",
  5461. "$linkDecoratorInfo": {
  5462. "type": "map<string,double>",
  5463. "value": {
  5464. "xratio": -1,
  5465. "yoffset": -5
  5466. }
  5467. }
  5468. },
  5469. "284": {
  5470. "segments": {
  5471. "type": "string",
  5472. "value": "m0,0 l-10,5 l10,5 z"
  5473. },
  5474. "style": {
  5475. "type": "map<string,string>",
  5476. "value": {
  5477. "stroke": "#000000",
  5478. "fill": "#ffffff",
  5479. "opacity": 0,
  5480. "stroke-width": 1
  5481. }
  5482. },
  5483. "mapper": {
  5484. "type": "code",
  5485. "value": ""
  5486. },
  5487. "parser": {
  5488. "type": "code",
  5489. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5490. },
  5491. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5492. "position": {
  5493. "type": "list<double>",
  5494. "value": [
  5495. "0;-58.60618668934433,0%",
  5496. "0;-118.38629516009746,0%"
  5497. ]
  5498. },
  5499. "orientation": {
  5500. "type": "double",
  5501. "value": "0;61.49346243200763"
  5502. },
  5503. "scale": {
  5504. "type": "list<double>",
  5505. "value": [
  5506. 1,
  5507. 1
  5508. ]
  5509. },
  5510. "arrow": "arrowHead",
  5511. "arrowType": "triangle-white",
  5512. "$linkDecoratorInfo": {
  5513. "type": "map<string,double>",
  5514. "value": {
  5515. "xratio": -1,
  5516. "yoffset": -5
  5517. }
  5518. }
  5519. },
  5520. "285": {
  5521. "segments": {
  5522. "type": "string",
  5523. "value": "m0,0 l5,5 l-5,5 l-5,-5 z"
  5524. },
  5525. "style": {
  5526. "type": "map<string,string>",
  5527. "value": {
  5528. "stroke": "#000000",
  5529. "fill": "#000000",
  5530. "opacity": 0,
  5531. "stroke-width": 1
  5532. }
  5533. },
  5534. "mapper": {
  5535. "type": "code",
  5536. "value": ""
  5537. },
  5538. "parser": {
  5539. "type": "code",
  5540. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5541. },
  5542. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5543. "position": {
  5544. "type": "list<double>",
  5545. "value": [
  5546. "0;-58.60618668934433,0%",
  5547. "0;-118.38629516009746,0%"
  5548. ]
  5549. },
  5550. "orientation": {
  5551. "type": "double",
  5552. "value": "0;61.49346243200763"
  5553. },
  5554. "scale": {
  5555. "type": "list<double>",
  5556. "value": [
  5557. 1,
  5558. 1
  5559. ]
  5560. },
  5561. "arrow": "arrowHead",
  5562. "arrowType": "diamond-black",
  5563. "$linkDecoratorInfo": {
  5564. "type": "map<string,double>",
  5565. "value": {
  5566. "xratio": -1,
  5567. "yoffset": -5
  5568. }
  5569. }
  5570. },
  5571. "286": {
  5572. "r": {
  5573. "type": "double",
  5574. "value": 10
  5575. },
  5576. "style": {
  5577. "type": "map<string,string>",
  5578. "value": {
  5579. "stroke": "#000000",
  5580. "fill": "#000000",
  5581. "opacity": 0,
  5582. "stroke-width": 1
  5583. }
  5584. },
  5585. "mapper": {
  5586. "type": "code",
  5587. "value": ""
  5588. },
  5589. "parser": {
  5590. "type": "code",
  5591. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5592. },
  5593. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5594. "position": {
  5595. "type": "list<double>",
  5596. "value": [
  5597. "0;-54.21237337868854,0%",
  5598. "0;-120.77259032019504,0%"
  5599. ]
  5600. },
  5601. "orientation": {
  5602. "type": "double",
  5603. "value": "0;61.49346243200763"
  5604. },
  5605. "scale": {
  5606. "type": "list<double>",
  5607. "value": [
  5608. 1,
  5609. 1
  5610. ]
  5611. },
  5612. "arrow": "arrowHead",
  5613. "arrowType": "circle-black-large",
  5614. "$linkDecoratorInfo": {
  5615. "type": "map<string,double>",
  5616. "value": {
  5617. "xratio": -1,
  5618. "yoffset": -10
  5619. }
  5620. }
  5621. },
  5622. "287": {
  5623. "segments": {
  5624. "type": "string",
  5625. "value": "m0,0 l-20,8 l20,8 l-6,-8 z"
  5626. },
  5627. "style": {
  5628. "type": "map<string,string>",
  5629. "value": {
  5630. "stroke": "#000000",
  5631. "fill": "#000000",
  5632. "opacity": 0,
  5633. "stroke-width": 1
  5634. }
  5635. },
  5636. "mapper": {
  5637. "type": "code",
  5638. "value": ""
  5639. },
  5640. "parser": {
  5641. "type": "code",
  5642. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5643. },
  5644. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5645. "position": {
  5646. "type": "list<double>",
  5647. "value": [
  5648. "0;-55.9698987029509,0%",
  5649. "0;-119.81807225615603,0%"
  5650. ]
  5651. },
  5652. "orientation": {
  5653. "type": "double",
  5654. "value": "0;61.49346243200763"
  5655. },
  5656. "scale": {
  5657. "type": "list<double>",
  5658. "value": [
  5659. 1,
  5660. 1
  5661. ]
  5662. },
  5663. "arrow": "arrowHead",
  5664. "arrowType": "arrow-black-large",
  5665. "$linkDecoratorInfo": {
  5666. "type": "map<string,double>",
  5667. "value": {
  5668. "xratio": -1,
  5669. "yoffset": -8
  5670. }
  5671. }
  5672. },
  5673. "288": {
  5674. "segments": {
  5675. "type": "string",
  5676. "value": "m0,0 l-10,4 l10,4 l-3,-4 z"
  5677. },
  5678. "style": {
  5679. "type": "map<string,string>",
  5680. "value": {
  5681. "stroke": "#000000",
  5682. "fill": "#000000",
  5683. "opacity": 0,
  5684. "stroke-width": 1
  5685. }
  5686. },
  5687. "mapper": {
  5688. "type": "code",
  5689. "value": ""
  5690. },
  5691. "parser": {
  5692. "type": "code",
  5693. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5694. },
  5695. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5696. "position": {
  5697. "type": "list<double>",
  5698. "value": [
  5699. "0;-59.48494935147539,0%",
  5700. "0;-117.90903612807801,0%"
  5701. ]
  5702. },
  5703. "orientation": {
  5704. "type": "double",
  5705. "value": "0;61.49346243200763"
  5706. },
  5707. "scale": {
  5708. "type": "list<double>",
  5709. "value": [
  5710. 1,
  5711. 1
  5712. ]
  5713. },
  5714. "arrow": "arrowHead",
  5715. "arrowType": "arrow-black",
  5716. "$linkDecoratorInfo": {
  5717. "type": "map<string,double>",
  5718. "value": {
  5719. "xratio": -1,
  5720. "yoffset": -4
  5721. }
  5722. }
  5723. },
  5724. "289": {
  5725. "segments": {
  5726. "type": "string",
  5727. "value": "m0,0 l-20,10 l20,10 z"
  5728. },
  5729. "style": {
  5730. "type": "map<string,string>",
  5731. "value": {
  5732. "stroke": "#000000",
  5733. "fill": "#ffffff",
  5734. "opacity": 0,
  5735. "stroke-width": 1
  5736. }
  5737. },
  5738. "mapper": {
  5739. "type": "code",
  5740. "value": ""
  5741. },
  5742. "parser": {
  5743. "type": "code",
  5744. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5745. },
  5746. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5747. "position": {
  5748. "type": "list<double>",
  5749. "value": [
  5750. "0;-54.21237337868854,0%",
  5751. "0;-120.77259032019504,0%"
  5752. ]
  5753. },
  5754. "orientation": {
  5755. "type": "double",
  5756. "value": "0;61.49346243200763"
  5757. },
  5758. "scale": {
  5759. "type": "list<double>",
  5760. "value": [
  5761. 1,
  5762. 1
  5763. ]
  5764. },
  5765. "arrow": "arrowHead",
  5766. "arrowType": "triangle-white-large",
  5767. "$linkDecoratorInfo": {
  5768. "type": "map<string,double>",
  5769. "value": {
  5770. "xratio": -1,
  5771. "yoffset": -10
  5772. }
  5773. }
  5774. },
  5775. "290": {
  5776. "segments": {
  5777. "type": "string",
  5778. "value": "m0,0 l-20,10 l20,10 z"
  5779. },
  5780. "style": {
  5781. "type": "map<string,string>",
  5782. "value": {
  5783. "stroke": "#000000",
  5784. "fill": "#000000",
  5785. "opacity": 0,
  5786. "stroke-width": 1
  5787. }
  5788. },
  5789. "mapper": {
  5790. "type": "code",
  5791. "value": ""
  5792. },
  5793. "parser": {
  5794. "type": "code",
  5795. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5796. },
  5797. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  5798. "position": {
  5799. "type": "list<double>",
  5800. "value": [
  5801. "0;-54.21237337868854,0%",
  5802. "0;-120.77259032019504,0%"
  5803. ]
  5804. },
  5805. "orientation": {
  5806. "type": "double",
  5807. "value": "0;61.49346243200763"
  5808. },
  5809. "scale": {
  5810. "type": "list<double>",
  5811. "value": [
  5812. 1,
  5813. 1
  5814. ]
  5815. },
  5816. "arrow": "arrowHead",
  5817. "arrowType": "triangle-black-large",
  5818. "$linkDecoratorInfo": {
  5819. "type": "map<string,double>",
  5820. "value": {
  5821. "xratio": -1,
  5822. "yoffset": -10
  5823. }
  5824. }
  5825. },
  5826. "291": {
  5827. "r": {
  5828. "type": "double",
  5829. "value": 5
  5830. },
  5831. "style": {
  5832. "type": "map<string,string>",
  5833. "value": {
  5834. "stroke": "#000000",
  5835. "fill": "#000000",
  5836. "opacity": 0,
  5837. "stroke-width": 1
  5838. }
  5839. },
  5840. "mapper": {
  5841. "type": "code",
  5842. "value": ""
  5843. },
  5844. "parser": {
  5845. "type": "code",
  5846. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5847. },
  5848. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5849. "position": {
  5850. "type": "list<double>",
  5851. "value": [
  5852. "0;-58.60618668934433,0%",
  5853. "0;-118.38629516009746,0%"
  5854. ]
  5855. },
  5856. "orientation": {
  5857. "type": "double",
  5858. "value": "0;61.49346243200763"
  5859. },
  5860. "scale": {
  5861. "type": "list<double>",
  5862. "value": [
  5863. 1,
  5864. 1
  5865. ]
  5866. },
  5867. "arrow": "arrowHead",
  5868. "arrowType": "circle-black",
  5869. "$linkDecoratorInfo": {
  5870. "type": "map<string,double>",
  5871. "value": {
  5872. "xratio": -1,
  5873. "yoffset": -5
  5874. }
  5875. }
  5876. },
  5877. "292": {
  5878. "r": {
  5879. "type": "double",
  5880. "value": 5
  5881. },
  5882. "style": {
  5883. "type": "map<string,string>",
  5884. "value": {
  5885. "stroke": "#000000",
  5886. "fill": "#ffffff",
  5887. "opacity": 0,
  5888. "stroke-width": 1
  5889. }
  5890. },
  5891. "mapper": {
  5892. "type": "code",
  5893. "value": ""
  5894. },
  5895. "parser": {
  5896. "type": "code",
  5897. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5898. },
  5899. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5900. "position": {
  5901. "type": "list<double>",
  5902. "value": [
  5903. "0;-58.60618668934433,0%",
  5904. "0;-118.38629516009746,0%"
  5905. ]
  5906. },
  5907. "orientation": {
  5908. "type": "double",
  5909. "value": "0;61.49346243200763"
  5910. },
  5911. "scale": {
  5912. "type": "list<double>",
  5913. "value": [
  5914. 1,
  5915. 1
  5916. ]
  5917. },
  5918. "arrow": "arrowHead",
  5919. "arrowType": "circle-white",
  5920. "$linkDecoratorInfo": {
  5921. "type": "map<string,double>",
  5922. "value": {
  5923. "xratio": -1,
  5924. "yoffset": -5
  5925. }
  5926. }
  5927. },
  5928. "293": {
  5929. "r": {
  5930. "type": "double",
  5931. "value": 10
  5932. },
  5933. "style": {
  5934. "type": "map<string,string>",
  5935. "value": {
  5936. "stroke": "#000000",
  5937. "fill": "#ffffff",
  5938. "opacity": 0,
  5939. "stroke-width": 1
  5940. }
  5941. },
  5942. "mapper": {
  5943. "type": "code",
  5944. "value": ""
  5945. },
  5946. "parser": {
  5947. "type": "code",
  5948. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  5949. },
  5950. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Circle",
  5951. "position": {
  5952. "type": "list<double>",
  5953. "value": [
  5954. "0;-54.21237337868854,0%",
  5955. "0;-120.77259032019504,0%"
  5956. ]
  5957. },
  5958. "orientation": {
  5959. "type": "double",
  5960. "value": "0;61.49346243200763"
  5961. },
  5962. "scale": {
  5963. "type": "list<double>",
  5964. "value": [
  5965. 1,
  5966. 1
  5967. ]
  5968. },
  5969. "arrow": "arrowHead",
  5970. "arrowType": "circle-white-large",
  5971. "$linkDecoratorInfo": {
  5972. "type": "map<string,double>",
  5973. "value": {
  5974. "xratio": -1,
  5975. "yoffset": -10
  5976. }
  5977. }
  5978. },
  5979. "294": {
  5980. "segments": {
  5981. "type": "string",
  5982. "value": "m0,0 l-20,8 l20,8"
  5983. },
  5984. "style": {
  5985. "type": "map<string,string>",
  5986. "value": {
  5987. "stroke": "#000000",
  5988. "fill": "#000000",
  5989. "fill-opacity": 0,
  5990. "stroke-width": 1,
  5991. "opacity": 0
  5992. }
  5993. },
  5994. "mapper": {
  5995. "type": "code",
  5996. "value": ""
  5997. },
  5998. "parser": {
  5999. "type": "code",
  6000. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6001. },
  6002. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6003. "position": {
  6004. "type": "list<double>",
  6005. "value": [
  6006. "0;-55.9698987029509,0%",
  6007. "0;-119.81807225615603,0%"
  6008. ]
  6009. },
  6010. "orientation": {
  6011. "type": "double",
  6012. "value": "0;61.49346243200763"
  6013. },
  6014. "scale": {
  6015. "type": "list<double>",
  6016. "value": [
  6017. 1,
  6018. 1
  6019. ]
  6020. },
  6021. "arrow": "arrowHead",
  6022. "arrowType": "arrow-empty-large",
  6023. "$linkDecoratorInfo": {
  6024. "type": "map<string,double>",
  6025. "value": {
  6026. "xratio": -1,
  6027. "yoffset": -8
  6028. }
  6029. }
  6030. },
  6031. "295": {
  6032. "segments": {
  6033. "type": "string",
  6034. "value": "m0,0 l-10,4 l10,4"
  6035. },
  6036. "style": {
  6037. "type": "map<string,string>",
  6038. "value": {
  6039. "stroke": "#000000",
  6040. "fill": "#000000",
  6041. "fill-opacity": 0,
  6042. "stroke-width": 1,
  6043. "opacity": 0
  6044. }
  6045. },
  6046. "mapper": {
  6047. "type": "code",
  6048. "value": ""
  6049. },
  6050. "parser": {
  6051. "type": "code",
  6052. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6053. },
  6054. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6055. "position": {
  6056. "type": "list<double>",
  6057. "value": [
  6058. "0;-59.48494935147539,0%",
  6059. "0;-117.90903612807801,0%"
  6060. ]
  6061. },
  6062. "orientation": {
  6063. "type": "double",
  6064. "value": "0;61.49346243200763"
  6065. },
  6066. "scale": {
  6067. "type": "list<double>",
  6068. "value": [
  6069. 1,
  6070. 1
  6071. ]
  6072. },
  6073. "arrow": "arrowHead",
  6074. "arrowType": "arrow-empty",
  6075. "$linkDecoratorInfo": {
  6076. "type": "map<string,double>",
  6077. "value": {
  6078. "xratio": -1,
  6079. "yoffset": -4
  6080. }
  6081. }
  6082. },
  6083. "296": {
  6084. "segments": {
  6085. "type": "string",
  6086. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  6087. },
  6088. "style": {
  6089. "type": "map<string,string>",
  6090. "value": {
  6091. "stroke": "#000000",
  6092. "fill": "#000000",
  6093. "opacity": 0,
  6094. "stroke-width": 1
  6095. }
  6096. },
  6097. "mapper": {
  6098. "type": "code",
  6099. "value": ""
  6100. },
  6101. "parser": {
  6102. "type": "code",
  6103. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6104. },
  6105. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6106. "position": {
  6107. "type": "list<double>",
  6108. "value": [
  6109. "0;-54.21237337868854,0%",
  6110. "0;-120.77259032019504,0%"
  6111. ]
  6112. },
  6113. "orientation": {
  6114. "type": "double",
  6115. "value": "0;61.49346243200763"
  6116. },
  6117. "scale": {
  6118. "type": "list<double>",
  6119. "value": [
  6120. 1,
  6121. 1
  6122. ]
  6123. },
  6124. "arrow": "arrowHead",
  6125. "arrowType": "diamond-black-large",
  6126. "$linkDecoratorInfo": {
  6127. "type": "map<string,double>",
  6128. "value": {
  6129. "xratio": -1,
  6130. "yoffset": -10
  6131. }
  6132. }
  6133. },
  6134. "297": {
  6135. "segments": {
  6136. "type": "string",
  6137. "value": "m0,0 l-10,4 l10,4 z"
  6138. },
  6139. "style": {
  6140. "type": "map<string,string>",
  6141. "value": {
  6142. "stroke": "#000000",
  6143. "fill": "#000000",
  6144. "opacity": 0,
  6145. "stroke-width": 1
  6146. }
  6147. },
  6148. "mapper": {
  6149. "type": "code",
  6150. "value": ""
  6151. },
  6152. "parser": {
  6153. "type": "code",
  6154. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6155. },
  6156. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6157. "position": {
  6158. "type": "list<double>",
  6159. "value": [
  6160. "0;-59.48494935147539,0%",
  6161. "0;-117.90903612807801,0%"
  6162. ]
  6163. },
  6164. "orientation": {
  6165. "type": "double",
  6166. "value": "0;61.49346243200763"
  6167. },
  6168. "scale": {
  6169. "type": "list<double>",
  6170. "value": [
  6171. 1,
  6172. 1
  6173. ]
  6174. },
  6175. "arrow": "arrowHead",
  6176. "arrowType": "triangle-black",
  6177. "$linkDecoratorInfo": {
  6178. "type": "map<string,double>",
  6179. "value": {
  6180. "xratio": -1,
  6181. "yoffset": -4
  6182. }
  6183. }
  6184. },
  6185. "298": {
  6186. "segments": {
  6187. "type": "string",
  6188. "value": "m0,0 l10,10 l-10,10 l-10,-10 z"
  6189. },
  6190. "style": {
  6191. "type": "map<string,string>",
  6192. "value": {
  6193. "stroke": "#000000",
  6194. "fill": "#ffffff",
  6195. "opacity": 0,
  6196. "stroke-width": 1
  6197. }
  6198. },
  6199. "mapper": {
  6200. "type": "code",
  6201. "value": ""
  6202. },
  6203. "parser": {
  6204. "type": "code",
  6205. "value": "/* specify code that evaluates to an associative array of the form {...,attr:val,...} */"
  6206. },
  6207. "$type": "/Formalisms/__LanguageSyntax__/ConcreteSyntax/ConcreteSyntax/Path",
  6208. "position": {
  6209. "type": "list<double>",
  6210. "value": [
  6211. "0;-54.21237337868854,0%",
  6212. "0;-120.77259032019504,0%"
  6213. ]
  6214. },
  6215. "orientation": {
  6216. "type": "double",
  6217. "value": "0;61.49346243200763"
  6218. },
  6219. "scale": {
  6220. "type": "list<double>",
  6221. "value": [
  6222. 1,
  6223. 1
  6224. ]
  6225. },
  6226. "arrow": "arrowHead",
  6227. "arrowType": "diamond-white-large",
  6228. "$linkDecoratorInfo": {
  6229. "type": "map<string,double>",
  6230. "value": {
  6231. "xratio": -1,
  6232. "yoffset": -10
  6233. }
  6234. }
  6235. }
  6236. },
  6237. "edges": []
  6238. }
  6239. },
  6240. "$asuri": {
  6241. "type": "string",
  6242. "value": "/Formalisms/__Transformations__/Transformation/MoTif/fail/87.instance"
  6243. },
  6244. "$segments": {
  6245. "type": "map<string,list<string>>",
  6246. "value": {
  6247. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/CRuleIcon/84.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/87.instance": "M714,509L777,625",
  6248. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink/87.instance--/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/EndFailIcon/7.instance": "M777.0714824243829,625.131618432197L839.999783167418,740.9996007527062"
  6249. }
  6250. },
  6251. "$type": "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons/failLink"
  6252. }
  6253. },
  6254. "edges": [],
  6255. "metamodels": [
  6256. "/Formalisms/__Transformations__/Transformation/MoTif.defaultIcons"
  6257. ]
  6258. },
  6259. "asm": {
  6260. "nodes": {
  6261. "0": {
  6262. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/Start"
  6263. },
  6264. "6": {
  6265. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndSuccess"
  6266. },
  6267. "7": {
  6268. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/EndFail"
  6269. },
  6270. "84": {
  6271. "ref": {
  6272. "type": "string",
  6273. "value": "/Formalisms/LCA-new/improved/T_improved.model"
  6274. },
  6275. "name": {
  6276. "type": "string",
  6277. "value": "T_improved"
  6278. },
  6279. "alias": {
  6280. "type": "string",
  6281. "value": ""
  6282. },
  6283. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/CRule"
  6284. },
  6285. "85": {
  6286. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/initial"
  6287. },
  6288. "86": {
  6289. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/success"
  6290. },
  6291. "87": {
  6292. "$type": "/Formalisms/__Transformations__/Transformation/MoTif/fail"
  6293. }
  6294. },
  6295. "edges": [
  6296. {
  6297. "src": "0",
  6298. "dest": "85"
  6299. },
  6300. {
  6301. "src": "85",
  6302. "dest": "84"
  6303. },
  6304. {
  6305. "src": "84",
  6306. "dest": "86"
  6307. },
  6308. {
  6309. "src": "86",
  6310. "dest": "6"
  6311. },
  6312. {
  6313. "src": "84",
  6314. "dest": "87"
  6315. },
  6316. {
  6317. "src": "87",
  6318. "dest": "7"
  6319. }
  6320. ],
  6321. "metamodels": [
  6322. "/Formalisms/__Transformations__/Transformation/MoTif"
  6323. ]
  6324. }
  6325. }