fsasimulator_debugging.py.svg 142 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657165816591660166116621663166416651666166716681669167016711672167316741675167616771678167916801681168216831684168516861687168816891690169116921693169416951696169716981699170017011702170317041705170617071708170917101711171217131714171517161717171817191720172117221723172417251726172717281729173017311732173317341735173617371738173917401741174217431744174517461747174817491750175117521753175417551756175717581759176017611762176317641765176617671768176917701771177217731774177517761777177817791780178117821783178417851786178717881789179017911792179317941795179617971798179918001801180218031804180518061807180818091810181118121813181418151816181718181819182018211822182318241825182618271828182918301831183218331834183518361837183818391840184118421843184418451846184718481849185018511852185318541855185618571858185918601861186218631864186518661867186818691870187118721873187418751876187718781879188018811882188318841885188618871888188918901891189218931894189518961897189818991900190119021903190419051906190719081909191019111912191319141915191619171918191919201921192219231924192519261927192819291930193119321933193419351936193719381939194019411942194319441945194619471948194919501951195219531954195519561957195819591960196119621963196419651966196719681969197019711972197319741975197619771978197919801981198219831984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420252026202720282029203020312032203320342035203620372038203920402041204220432044204520462047204820492050205120522053205420552056205720582059206020612062206320642065206620672068206920702071207220732074207520762077207820792080208120822083208420852086208720882089209020912092209320942095209620972098209921002101210221032104210521062107210821092110211121122113211421152116211721182119212021212122212321242125212621272128212921302131213221332134213521362137213821392140214121422143214421452146214721482149215021512152215321542155215621572158215921602161216221632164216521662167216821692170217121722173217421752176217721782179218021812182218321842185218621872188218921902191219221932194219521962197219821992200220122022203220422052206220722082209221022112212221322142215221622172218221922202221222222232224222522262227222822292230223122322233223422352236223722382239224022412242224322442245224622472248224922502251225222532254225522562257225822592260226122622263226422652266226722682269227022712272227322742275227622772278227922802281228222832284228522862287228822892290229122922293229422952296229722982299230023012302230323042305230623072308230923102311231223132314231523162317231823192320232123222323232423252326232723282329233023312332233323342335233623372338233923402341234223432344234523462347234823492350235123522353235423552356235723582359236023612362236323642365236623672368236923702371237223732374237523762377237823792380238123822383238423852386238723882389239023912392239323942395239623972398239924002401240224032404240524062407240824092410241124122413241424152416241724182419242024212422242324242425242624272428242924302431243224332434243524362437243824392440244124422443244424452446244724482449245024512452245324542455245624572458245924602461246224632464246524662467246824692470247124722473247424752476247724782479248024812482248324842485248624872488248924902491249224932494249524962497249824992500250125022503250425052506250725082509251025112512251325142515251625172518251925202521252225232524252525262527252825292530253125322533253425352536253725382539254025412542254325442545254625472548254925502551255225532554255525562557255825592560256125622563256425652566256725682569257025712572257325742575257625772578257925802581258225832584258525862587258825892590259125922593259425952596259725982599260026012602260326042605260626072608260926102611261226132614261526162617261826192620262126222623262426252626262726282629263026312632263326342635263626372638263926402641264226432644264526462647264826492650265126522653265426552656265726582659266026612662266326642665266626672668266926702671267226732674267526762677267826792680268126822683268426852686268726882689269026912692269326942695269626972698269927002701270227032704270527062707270827092710271127122713271427152716271727182719272027212722272327242725272627272728272927302731273227332734273527362737273827392740274127422743274427452746274727482749275027512752275327542755275627572758275927602761276227632764276527662767276827692770277127722773277427752776277727782779278027812782278327842785278627872788278927902791279227932794279527962797279827992800280128022803280428052806280728082809281028112812281328142815281628172818281928202821282228232824282528262827282828292830283128322833283428352836283728382839284028412842284328442845284628472848284928502851285228532854285528562857285828592860286128622863286428652866286728682869287028712872287328742875287628772878287928802881288228832884288528862887288828892890289128922893289428952896289728982899290029012902290329042905290629072908290929102911291229132914291529162917291829192920292129222923292429252926292729282929293029312932293329342935293629372938293929402941294229432944294529462947294829492950295129522953295429552956295729582959296029612962296329642965296629672968296929702971297229732974297529762977297829792980298129822983298429852986298729882989299029912992299329942995299629972998299930003001300230033004300530063007300830093010301130123013301430153016301730183019302030213022302330243025302630273028302930303031303230333034303530363037303830393040304130423043304430453046304730483049305030513052305330543055305630573058305930603061306230633064306530663067306830693070307130723073307430753076307730783079308030813082
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!-- Created with Inkscape (http://www.inkscape.org/) -->
  3. <svg
  4. xmlns:dc="http://purl.org/dc/elements/1.1/"
  5. xmlns:cc="http://creativecommons.org/ns#"
  6. xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
  7. xmlns:svg="http://www.w3.org/2000/svg"
  8. xmlns="http://www.w3.org/2000/svg"
  9. xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
  10. xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
  11. width="322.1868mm"
  12. height="155.41553mm"
  13. viewBox="0 0 1141.6068 550.68497"
  14. id="svg2"
  15. version="1.1"
  16. inkscape:version="0.91 r13725"
  17. sodipodi:docname="fsasimulator_debugging.py.svg">
  18. <defs
  19. id="defs4">
  20. <marker
  21. inkscape:stockid="Arrow1Mend"
  22. orient="auto"
  23. refY="0"
  24. refX="0"
  25. id="marker14097"
  26. style="overflow:visible"
  27. inkscape:isstock="true">
  28. <path
  29. id="path14099"
  30. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  31. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  32. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  33. inkscape:connector-curvature="0" />
  34. </marker>
  35. <marker
  36. inkscape:isstock="true"
  37. style="overflow:visible"
  38. id="marker12882"
  39. refX="0"
  40. refY="0"
  41. orient="auto"
  42. inkscape:stockid="Arrow1Mend"
  43. inkscape:collect="always">
  44. <path
  45. inkscape:connector-curvature="0"
  46. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  47. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  48. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  49. id="path12884" />
  50. </marker>
  51. <marker
  52. inkscape:stockid="Arrow1Mend"
  53. orient="auto"
  54. refY="0"
  55. refX="0"
  56. id="marker11617"
  57. style="overflow:visible"
  58. inkscape:isstock="true"
  59. inkscape:collect="always">
  60. <path
  61. id="path11619"
  62. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  63. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  64. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  65. inkscape:connector-curvature="0" />
  66. </marker>
  67. <marker
  68. inkscape:isstock="true"
  69. style="overflow:visible"
  70. id="marker9685"
  71. refX="0"
  72. refY="0"
  73. orient="auto"
  74. inkscape:stockid="Arrow1Mend"
  75. inkscape:collect="always">
  76. <path
  77. inkscape:connector-curvature="0"
  78. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  79. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  80. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  81. id="path9687" />
  82. </marker>
  83. <marker
  84. inkscape:stockid="Arrow1Mend"
  85. orient="auto"
  86. refY="0"
  87. refX="0"
  88. id="marker6633"
  89. style="overflow:visible"
  90. inkscape:isstock="true"
  91. inkscape:collect="always">
  92. <path
  93. id="path6635"
  94. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  95. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  96. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  97. inkscape:connector-curvature="0" />
  98. </marker>
  99. <marker
  100. inkscape:isstock="true"
  101. style="overflow:visible"
  102. id="marker13358"
  103. refX="0"
  104. refY="0"
  105. orient="auto"
  106. inkscape:stockid="Arrow1Mend"
  107. inkscape:collect="always">
  108. <path
  109. inkscape:connector-curvature="0"
  110. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  111. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  112. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  113. id="path13360" />
  114. </marker>
  115. <marker
  116. inkscape:isstock="true"
  117. style="overflow:visible"
  118. id="marker6833"
  119. refX="0"
  120. refY="0"
  121. orient="auto"
  122. inkscape:stockid="Arrow1Mend"
  123. inkscape:collect="always">
  124. <path
  125. inkscape:connector-curvature="0"
  126. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  127. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  128. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  129. id="path6835" />
  130. </marker>
  131. <marker
  132. inkscape:stockid="Arrow1Mend"
  133. orient="auto"
  134. refY="0"
  135. refX="0"
  136. id="marker6348"
  137. style="overflow:visible"
  138. inkscape:isstock="true"
  139. inkscape:collect="always">
  140. <path
  141. id="path6350"
  142. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  143. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  144. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  145. inkscape:connector-curvature="0" />
  146. </marker>
  147. <marker
  148. inkscape:isstock="true"
  149. style="overflow:visible"
  150. id="marker5988"
  151. refX="0"
  152. refY="0"
  153. orient="auto"
  154. inkscape:stockid="Arrow1Mend"
  155. inkscape:collect="always">
  156. <path
  157. inkscape:connector-curvature="0"
  158. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  159. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  160. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  161. id="path5990" />
  162. </marker>
  163. <marker
  164. inkscape:stockid="Arrow1Mend"
  165. orient="auto"
  166. refY="0"
  167. refX="0"
  168. id="marker5374"
  169. style="overflow:visible"
  170. inkscape:isstock="true"
  171. inkscape:collect="always">
  172. <path
  173. id="path5376"
  174. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  175. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  176. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  177. inkscape:connector-curvature="0" />
  178. </marker>
  179. <marker
  180. inkscape:isstock="true"
  181. style="overflow:visible"
  182. id="marker5014"
  183. refX="0"
  184. refY="0"
  185. orient="auto"
  186. inkscape:stockid="Arrow1Mend"
  187. inkscape:collect="always">
  188. <path
  189. inkscape:connector-curvature="0"
  190. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  191. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  192. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  193. id="path5016" />
  194. </marker>
  195. <marker
  196. inkscape:stockid="Arrow1Mend"
  197. orient="auto"
  198. refY="0"
  199. refX="0"
  200. id="marker6215"
  201. style="overflow:visible"
  202. inkscape:isstock="true"
  203. inkscape:collect="always">
  204. <path
  205. id="path6217"
  206. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  207. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  208. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  209. inkscape:connector-curvature="0" />
  210. </marker>
  211. <marker
  212. inkscape:isstock="true"
  213. style="overflow:visible"
  214. id="marker6969"
  215. refX="0"
  216. refY="0"
  217. orient="auto"
  218. inkscape:stockid="Arrow1Mend"
  219. inkscape:collect="always">
  220. <path
  221. inkscape:connector-curvature="0"
  222. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  223. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  224. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  225. id="path6971" />
  226. </marker>
  227. <marker
  228. inkscape:stockid="Arrow1Mend"
  229. orient="auto"
  230. refY="0"
  231. refX="0"
  232. id="marker5557"
  233. style="overflow:visible"
  234. inkscape:isstock="true"
  235. inkscape:collect="always">
  236. <path
  237. id="path5559"
  238. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  239. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  240. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  241. inkscape:connector-curvature="0" />
  242. </marker>
  243. <marker
  244. inkscape:isstock="true"
  245. style="overflow:visible"
  246. id="marker5287"
  247. refX="0"
  248. refY="0"
  249. orient="auto"
  250. inkscape:stockid="Arrow1Mend"
  251. inkscape:collect="always">
  252. <path
  253. inkscape:connector-curvature="0"
  254. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  255. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  256. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  257. id="path5289" />
  258. </marker>
  259. <marker
  260. inkscape:stockid="Arrow1Mend"
  261. orient="auto"
  262. refY="0"
  263. refX="0"
  264. id="marker4495"
  265. style="overflow:visible"
  266. inkscape:isstock="true"
  267. inkscape:collect="always">
  268. <path
  269. id="path4497"
  270. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  271. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  272. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  273. inkscape:connector-curvature="0" />
  274. </marker>
  275. <marker
  276. inkscape:isstock="true"
  277. style="overflow:visible"
  278. id="marker9951"
  279. refX="0"
  280. refY="0"
  281. orient="auto"
  282. inkscape:stockid="Arrow1Mend"
  283. inkscape:collect="always">
  284. <path
  285. inkscape:connector-curvature="0"
  286. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  287. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  288. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  289. id="path9953" />
  290. </marker>
  291. <marker
  292. inkscape:stockid="Arrow1Mend"
  293. orient="auto"
  294. refY="0"
  295. refX="0"
  296. id="marker14345"
  297. style="overflow:visible"
  298. inkscape:isstock="true">
  299. <path
  300. id="path14347"
  301. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  302. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  303. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  304. inkscape:connector-curvature="0" />
  305. </marker>
  306. <marker
  307. inkscape:stockid="Arrow1Mend"
  308. orient="auto"
  309. refY="0"
  310. refX="0"
  311. id="marker14057"
  312. style="overflow:visible"
  313. inkscape:isstock="true">
  314. <path
  315. id="path14059"
  316. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  317. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  318. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  319. inkscape:connector-curvature="0" />
  320. </marker>
  321. <marker
  322. inkscape:stockid="Arrow1Mend"
  323. orient="auto"
  324. refY="0"
  325. refX="0"
  326. id="marker13847"
  327. style="overflow:visible"
  328. inkscape:isstock="true">
  329. <path
  330. id="path13849"
  331. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  332. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  333. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  334. inkscape:connector-curvature="0" />
  335. </marker>
  336. <marker
  337. inkscape:isstock="true"
  338. style="overflow:visible"
  339. id="marker9248"
  340. refX="0"
  341. refY="0"
  342. orient="auto"
  343. inkscape:stockid="Arrow1Mend">
  344. <path
  345. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  346. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  347. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  348. id="path9250"
  349. inkscape:connector-curvature="0" />
  350. </marker>
  351. <marker
  352. inkscape:isstock="true"
  353. style="overflow:visible"
  354. id="marker9248-4-8"
  355. refX="0"
  356. refY="0"
  357. orient="auto"
  358. inkscape:stockid="Arrow1Mend">
  359. <path
  360. inkscape:connector-curvature="0"
  361. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  362. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  363. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  364. id="path9250-5-4" />
  365. </marker>
  366. <marker
  367. inkscape:isstock="true"
  368. style="overflow:visible"
  369. id="marker9248-4-8-6-6"
  370. refX="0"
  371. refY="0"
  372. orient="auto"
  373. inkscape:stockid="Arrow1Mend">
  374. <path
  375. inkscape:connector-curvature="0"
  376. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  377. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  378. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  379. id="path9250-5-4-6-8" />
  380. </marker>
  381. <marker
  382. inkscape:isstock="true"
  383. style="overflow:visible"
  384. id="marker9248-4-8-6-6-4"
  385. refX="0"
  386. refY="0"
  387. orient="auto"
  388. inkscape:stockid="Arrow1Mend">
  389. <path
  390. inkscape:connector-curvature="0"
  391. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  392. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  393. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  394. id="path9250-5-4-6-8-2" />
  395. </marker>
  396. <marker
  397. inkscape:isstock="true"
  398. style="overflow:visible"
  399. id="marker9248-4-8-6-6-4-2"
  400. refX="0"
  401. refY="0"
  402. orient="auto"
  403. inkscape:stockid="Arrow1Mend">
  404. <path
  405. inkscape:connector-curvature="0"
  406. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  407. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  408. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  409. id="path9250-5-4-6-8-2-0" />
  410. </marker>
  411. <marker
  412. inkscape:isstock="true"
  413. style="overflow:visible"
  414. id="marker9248-0"
  415. refX="0"
  416. refY="0"
  417. orient="auto"
  418. inkscape:stockid="Arrow1Mend">
  419. <path
  420. inkscape:connector-curvature="0"
  421. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  422. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  423. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  424. id="path9250-1" />
  425. </marker>
  426. <marker
  427. inkscape:isstock="true"
  428. style="overflow:visible"
  429. id="marker9248-0-2"
  430. refX="0"
  431. refY="0"
  432. orient="auto"
  433. inkscape:stockid="Arrow1Mend">
  434. <path
  435. inkscape:connector-curvature="0"
  436. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  437. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  438. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  439. id="path9250-1-1" />
  440. </marker>
  441. <marker
  442. inkscape:isstock="true"
  443. style="overflow:visible"
  444. id="marker9248-0-6"
  445. refX="0"
  446. refY="0"
  447. orient="auto"
  448. inkscape:stockid="Arrow1Mend">
  449. <path
  450. inkscape:connector-curvature="0"
  451. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  452. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  453. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  454. id="path9250-1-3" />
  455. </marker>
  456. <marker
  457. inkscape:isstock="true"
  458. style="overflow:visible"
  459. id="marker9248-0-6-1"
  460. refX="0"
  461. refY="0"
  462. orient="auto"
  463. inkscape:stockid="Arrow1Mend">
  464. <path
  465. inkscape:connector-curvature="0"
  466. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  467. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  468. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  469. id="path9250-1-3-4" />
  470. </marker>
  471. <marker
  472. inkscape:isstock="true"
  473. style="overflow:visible"
  474. id="marker9248-0-6-1-5"
  475. refX="0"
  476. refY="0"
  477. orient="auto"
  478. inkscape:stockid="Arrow1Mend">
  479. <path
  480. inkscape:connector-curvature="0"
  481. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  482. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  483. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  484. id="path9250-1-3-4-7" />
  485. </marker>
  486. <marker
  487. inkscape:isstock="true"
  488. style="overflow:visible"
  489. id="marker9248-4-8-6-6-4-2-9"
  490. refX="0"
  491. refY="0"
  492. orient="auto"
  493. inkscape:stockid="Arrow1Mend">
  494. <path
  495. inkscape:connector-curvature="0"
  496. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  497. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  498. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  499. id="path9250-5-4-6-8-2-0-7" />
  500. </marker>
  501. <marker
  502. inkscape:isstock="true"
  503. style="overflow:visible"
  504. id="marker9248-4-8-6-6-4-9"
  505. refX="0"
  506. refY="0"
  507. orient="auto"
  508. inkscape:stockid="Arrow1Mend">
  509. <path
  510. inkscape:connector-curvature="0"
  511. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  512. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  513. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  514. id="path9250-5-4-6-8-2-4" />
  515. </marker>
  516. <marker
  517. inkscape:isstock="true"
  518. style="overflow:visible"
  519. id="marker9248-4-8-6-6-5"
  520. refX="0"
  521. refY="0"
  522. orient="auto"
  523. inkscape:stockid="Arrow1Mend">
  524. <path
  525. inkscape:connector-curvature="0"
  526. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  527. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  528. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  529. id="path9250-5-4-6-8-8" />
  530. </marker>
  531. <marker
  532. inkscape:isstock="true"
  533. style="overflow:visible"
  534. id="marker9248-4-8-8"
  535. refX="0"
  536. refY="0"
  537. orient="auto"
  538. inkscape:stockid="Arrow1Mend">
  539. <path
  540. inkscape:connector-curvature="0"
  541. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  542. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  543. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  544. id="path9250-5-4-9" />
  545. </marker>
  546. <marker
  547. inkscape:isstock="true"
  548. style="overflow:visible"
  549. id="marker9248-8"
  550. refX="0"
  551. refY="0"
  552. orient="auto"
  553. inkscape:stockid="Arrow1Mend">
  554. <path
  555. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  556. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  557. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  558. id="path9250-9"
  559. inkscape:connector-curvature="0" />
  560. </marker>
  561. <marker
  562. inkscape:isstock="true"
  563. style="overflow:visible"
  564. id="marker9248-0-6-8"
  565. refX="0"
  566. refY="0"
  567. orient="auto"
  568. inkscape:stockid="Arrow1Mend">
  569. <path
  570. inkscape:connector-curvature="0"
  571. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  572. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  573. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  574. id="path9250-1-3-3" />
  575. </marker>
  576. <marker
  577. inkscape:isstock="true"
  578. style="overflow:visible"
  579. id="marker9248-0-6-0"
  580. refX="0"
  581. refY="0"
  582. orient="auto"
  583. inkscape:stockid="Arrow1Mend">
  584. <path
  585. inkscape:connector-curvature="0"
  586. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  587. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  588. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  589. id="path9250-1-3-47" />
  590. </marker>
  591. <marker
  592. inkscape:isstock="true"
  593. style="overflow:visible"
  594. id="marker9248-6"
  595. refX="0"
  596. refY="0"
  597. orient="auto"
  598. inkscape:stockid="Arrow1Mend">
  599. <path
  600. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  601. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  602. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  603. id="path9250-97"
  604. inkscape:connector-curvature="0" />
  605. </marker>
  606. <marker
  607. inkscape:isstock="true"
  608. style="overflow:visible"
  609. id="marker9248-6-3"
  610. refX="0"
  611. refY="0"
  612. orient="auto"
  613. inkscape:stockid="Arrow1Mend">
  614. <path
  615. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  616. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  617. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  618. id="path9250-97-8"
  619. inkscape:connector-curvature="0" />
  620. </marker>
  621. <marker
  622. inkscape:stockid="Arrow1Mend"
  623. orient="auto"
  624. refY="0"
  625. refX="0"
  626. id="marker14561-5"
  627. style="overflow:visible"
  628. inkscape:isstock="true"
  629. inkscape:collect="always">
  630. <path
  631. id="path14563-6"
  632. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  633. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  634. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  635. inkscape:connector-curvature="0" />
  636. </marker>
  637. <marker
  638. inkscape:isstock="true"
  639. style="overflow:visible"
  640. id="marker9248-6-3-0"
  641. refX="0"
  642. refY="0"
  643. orient="auto"
  644. inkscape:stockid="Arrow1Mend">
  645. <path
  646. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  647. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  648. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  649. id="path9250-97-8-7"
  650. inkscape:connector-curvature="0" />
  651. </marker>
  652. <marker
  653. inkscape:isstock="true"
  654. style="overflow:visible"
  655. id="marker9248-0-6-0-4"
  656. refX="0"
  657. refY="0"
  658. orient="auto"
  659. inkscape:stockid="Arrow1Mend">
  660. <path
  661. inkscape:connector-curvature="0"
  662. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  663. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  664. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  665. id="path9250-1-3-47-2" />
  666. </marker>
  667. <marker
  668. inkscape:isstock="true"
  669. style="overflow:visible"
  670. id="marker9951-0"
  671. refX="0"
  672. refY="0"
  673. orient="auto"
  674. inkscape:stockid="Arrow1Mend">
  675. <path
  676. inkscape:connector-curvature="0"
  677. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  678. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  679. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  680. id="path9953-5" />
  681. </marker>
  682. <marker
  683. inkscape:stockid="Arrow1Mend"
  684. orient="auto"
  685. refY="0"
  686. refX="0"
  687. id="marker5557-5"
  688. style="overflow:visible"
  689. inkscape:isstock="true">
  690. <path
  691. id="path5559-0"
  692. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  693. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  694. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  695. inkscape:connector-curvature="0" />
  696. </marker>
  697. <marker
  698. inkscape:stockid="Arrow1Mend"
  699. orient="auto"
  700. refY="0"
  701. refX="0"
  702. id="marker14561-5-3"
  703. style="overflow:visible"
  704. inkscape:isstock="true"
  705. inkscape:collect="always">
  706. <path
  707. id="path14563-6-2"
  708. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  709. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  710. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  711. inkscape:connector-curvature="0" />
  712. </marker>
  713. <marker
  714. inkscape:stockid="Arrow1Mend"
  715. orient="auto"
  716. refY="0"
  717. refX="0"
  718. id="marker14561-5-3-1"
  719. style="overflow:visible"
  720. inkscape:isstock="true"
  721. inkscape:collect="always">
  722. <path
  723. id="path14563-6-2-9"
  724. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  725. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  726. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  727. inkscape:connector-curvature="0" />
  728. </marker>
  729. <marker
  730. inkscape:isstock="true"
  731. style="overflow:visible"
  732. id="marker9951-0-4"
  733. refX="0"
  734. refY="0"
  735. orient="auto"
  736. inkscape:stockid="Arrow1Mend">
  737. <path
  738. inkscape:connector-curvature="0"
  739. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  740. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  741. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  742. id="path9953-5-0" />
  743. </marker>
  744. <marker
  745. inkscape:stockid="Arrow1Mend"
  746. orient="auto"
  747. refY="0"
  748. refX="0"
  749. id="marker4495-5"
  750. style="overflow:visible"
  751. inkscape:isstock="true"
  752. inkscape:collect="always">
  753. <path
  754. id="path4497-3"
  755. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  756. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  757. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  758. inkscape:connector-curvature="0" />
  759. </marker>
  760. <marker
  761. inkscape:stockid="Arrow1Mend"
  762. orient="auto"
  763. refY="0"
  764. refX="0"
  765. id="marker4495-5-0"
  766. style="overflow:visible"
  767. inkscape:isstock="true"
  768. inkscape:collect="always">
  769. <path
  770. id="path4497-3-5"
  771. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  772. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  773. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  774. inkscape:connector-curvature="0" />
  775. </marker>
  776. <marker
  777. inkscape:stockid="Arrow1Mend"
  778. orient="auto"
  779. refY="0"
  780. refX="0"
  781. id="marker14561-5-3-3"
  782. style="overflow:visible"
  783. inkscape:isstock="true"
  784. inkscape:collect="always">
  785. <path
  786. id="path14563-6-2-4"
  787. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  788. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  789. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  790. inkscape:connector-curvature="0" />
  791. </marker>
  792. <marker
  793. inkscape:stockid="Arrow1Mend"
  794. orient="auto"
  795. refY="0"
  796. refX="0"
  797. id="marker14561-5-36"
  798. style="overflow:visible"
  799. inkscape:isstock="true"
  800. inkscape:collect="always">
  801. <path
  802. id="path14563-6-4"
  803. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  804. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  805. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  806. inkscape:connector-curvature="0" />
  807. </marker>
  808. <marker
  809. inkscape:stockid="Arrow1Mend"
  810. orient="auto"
  811. refY="0"
  812. refX="0"
  813. id="marker14561-5-3-1-7"
  814. style="overflow:visible"
  815. inkscape:isstock="true"
  816. inkscape:collect="always">
  817. <path
  818. id="path14563-6-2-9-6"
  819. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  820. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  821. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  822. inkscape:connector-curvature="0" />
  823. </marker>
  824. <marker
  825. inkscape:stockid="Arrow1Mend"
  826. orient="auto"
  827. refY="0"
  828. refX="0"
  829. id="marker14561-5-3-1-7-5"
  830. style="overflow:visible"
  831. inkscape:isstock="true"
  832. inkscape:collect="always">
  833. <path
  834. id="path14563-6-2-9-6-3"
  835. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  836. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  837. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  838. inkscape:connector-curvature="0" />
  839. </marker>
  840. <marker
  841. inkscape:isstock="true"
  842. style="overflow:visible"
  843. id="marker9248-6-3-5"
  844. refX="0"
  845. refY="0"
  846. orient="auto"
  847. inkscape:stockid="Arrow1Mend">
  848. <path
  849. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  850. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  851. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  852. id="path9250-97-8-0"
  853. inkscape:connector-curvature="0" />
  854. </marker>
  855. <marker
  856. inkscape:isstock="true"
  857. style="overflow:visible"
  858. id="marker9248-6-0"
  859. refX="0"
  860. refY="0"
  861. orient="auto"
  862. inkscape:stockid="Arrow1Mend">
  863. <path
  864. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  865. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  866. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  867. id="path9250-97-9"
  868. inkscape:connector-curvature="0" />
  869. </marker>
  870. <marker
  871. inkscape:isstock="true"
  872. style="overflow:visible"
  873. id="marker9248-6-0-0"
  874. refX="0"
  875. refY="0"
  876. orient="auto"
  877. inkscape:stockid="Arrow1Mend">
  878. <path
  879. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  880. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  881. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  882. id="path9250-97-9-9"
  883. inkscape:connector-curvature="0" />
  884. </marker>
  885. <marker
  886. inkscape:isstock="true"
  887. style="overflow:visible"
  888. id="marker9248-6-6"
  889. refX="0"
  890. refY="0"
  891. orient="auto"
  892. inkscape:stockid="Arrow1Mend">
  893. <path
  894. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  895. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  896. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  897. id="path9250-97-1"
  898. inkscape:connector-curvature="0" />
  899. </marker>
  900. <marker
  901. inkscape:isstock="true"
  902. style="overflow:visible"
  903. id="marker6833-1"
  904. refX="0"
  905. refY="0"
  906. orient="auto"
  907. inkscape:stockid="Arrow1Mend">
  908. <path
  909. inkscape:connector-curvature="0"
  910. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  911. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  912. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  913. id="path6835-0" />
  914. </marker>
  915. <marker
  916. inkscape:stockid="Arrow1Mend"
  917. orient="auto"
  918. refY="0"
  919. refX="0"
  920. id="marker9783-5"
  921. style="overflow:visible"
  922. inkscape:isstock="true">
  923. <path
  924. id="path9785-9"
  925. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  926. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  927. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  928. inkscape:connector-curvature="0" />
  929. </marker>
  930. <marker
  931. inkscape:isstock="true"
  932. style="overflow:visible"
  933. id="marker9951-0-4-6"
  934. refX="0"
  935. refY="0"
  936. orient="auto"
  937. inkscape:stockid="Arrow1Mend">
  938. <path
  939. inkscape:connector-curvature="0"
  940. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  941. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  942. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  943. id="path9953-5-0-5" />
  944. </marker>
  945. <marker
  946. inkscape:stockid="Arrow1Mend"
  947. orient="auto"
  948. refY="0"
  949. refX="0"
  950. id="marker4495-5-7"
  951. style="overflow:visible"
  952. inkscape:isstock="true"
  953. inkscape:collect="always">
  954. <path
  955. id="path4497-3-2"
  956. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  957. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  958. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  959. inkscape:connector-curvature="0" />
  960. </marker>
  961. <marker
  962. inkscape:stockid="Arrow1Mend"
  963. orient="auto"
  964. refY="0"
  965. refX="0"
  966. id="marker4495-5-0-2"
  967. style="overflow:visible"
  968. inkscape:isstock="true"
  969. inkscape:collect="always">
  970. <path
  971. id="path4497-3-5-0"
  972. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  973. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  974. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  975. inkscape:connector-curvature="0" />
  976. </marker>
  977. <marker
  978. inkscape:isstock="true"
  979. style="overflow:visible"
  980. id="marker9248-6-36"
  981. refX="0"
  982. refY="0"
  983. orient="auto"
  984. inkscape:stockid="Arrow1Mend">
  985. <path
  986. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  987. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  988. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  989. id="path9250-97-6"
  990. inkscape:connector-curvature="0" />
  991. </marker>
  992. <marker
  993. inkscape:stockid="Arrow1Mend"
  994. orient="auto"
  995. refY="0"
  996. refX="0"
  997. id="marker7710"
  998. style="overflow:visible"
  999. inkscape:isstock="true">
  1000. <path
  1001. id="path7712"
  1002. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  1003. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  1004. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  1005. inkscape:connector-curvature="0" />
  1006. </marker>
  1007. <marker
  1008. inkscape:isstock="true"
  1009. style="overflow:visible"
  1010. id="marker9248-6-09"
  1011. refX="0"
  1012. refY="0"
  1013. orient="auto"
  1014. inkscape:stockid="Arrow1Mend">
  1015. <path
  1016. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  1017. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  1018. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  1019. id="path9250-97-2"
  1020. inkscape:connector-curvature="0" />
  1021. </marker>
  1022. <marker
  1023. inkscape:isstock="true"
  1024. style="overflow:visible"
  1025. id="marker9685-1"
  1026. refX="0"
  1027. refY="0"
  1028. orient="auto"
  1029. inkscape:stockid="Arrow1Mend">
  1030. <path
  1031. inkscape:connector-curvature="0"
  1032. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  1033. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  1034. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  1035. id="path9687-0" />
  1036. </marker>
  1037. <marker
  1038. inkscape:isstock="true"
  1039. style="overflow:visible"
  1040. id="marker9685-1-0"
  1041. refX="0"
  1042. refY="0"
  1043. orient="auto"
  1044. inkscape:stockid="Arrow1Mend">
  1045. <path
  1046. inkscape:connector-curvature="0"
  1047. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  1048. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  1049. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  1050. id="path9687-0-7" />
  1051. </marker>
  1052. <marker
  1053. inkscape:isstock="true"
  1054. style="overflow:visible"
  1055. id="marker9951-1"
  1056. refX="0"
  1057. refY="0"
  1058. orient="auto"
  1059. inkscape:stockid="Arrow1Mend"
  1060. inkscape:collect="always">
  1061. <path
  1062. inkscape:connector-curvature="0"
  1063. transform="matrix(-0.4,0,0,-0.4,-4,0)"
  1064. style="fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1"
  1065. d="M 0,0 5,-5 -12.5,0 5,5 0,0 Z"
  1066. id="path9953-7" />
  1067. </marker>
  1068. </defs>
  1069. <sodipodi:namedview
  1070. id="base"
  1071. pagecolor="#ffffff"
  1072. bordercolor="#666666"
  1073. borderopacity="1.0"
  1074. inkscape:pageopacity="0.0"
  1075. inkscape:pageshadow="2"
  1076. inkscape:zoom="1.0000001"
  1077. inkscape:cx="460.54261"
  1078. inkscape:cy="149.5964"
  1079. inkscape:document-units="px"
  1080. inkscape:current-layer="layer1"
  1081. showgrid="false"
  1082. inkscape:window-width="1920"
  1083. inkscape:window-height="1017"
  1084. inkscape:window-x="-8"
  1085. inkscape:window-y="-8"
  1086. inkscape:window-maximized="1"
  1087. fit-margin-top="0"
  1088. fit-margin-left="0"
  1089. fit-margin-right="0"
  1090. fit-margin-bottom="0"
  1091. showguides="true"
  1092. inkscape:guide-bbox="true" />
  1093. <metadata
  1094. id="metadata7">
  1095. <rdf:RDF>
  1096. <cc:Work
  1097. rdf:about="">
  1098. <dc:format>image/svg+xml</dc:format>
  1099. <dc:type
  1100. rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
  1101. <dc:title></dc:title>
  1102. </cc:Work>
  1103. </rdf:RDF>
  1104. </metadata>
  1105. <g
  1106. inkscape:label="Layer 1"
  1107. inkscape:groupmode="layer"
  1108. id="layer1"
  1109. transform="translate(-99.967734,-188.00919)">
  1110. <rect
  1111. rx="7"
  1112. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1113. id="rect4136-3-6"
  1114. width="1140.9067"
  1115. height="549.98492"
  1116. x="100.31773"
  1117. y="188.35919"
  1118. ry="7" />
  1119. <path
  1120. sodipodi:nodetypes="cc"
  1121. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1122. d="m 100.06458,200.48499 1140.25672,0"
  1123. id="path4138-2-9"
  1124. inkscape:connector-curvature="0" />
  1125. <path
  1126. sodipodi:nodetypes="cc"
  1127. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
  1128. d="m 102.25809,597.24502 1012.04821,0"
  1129. id="path4138-2-9-3"
  1130. inkscape:connector-curvature="0" />
  1131. <path
  1132. sodipodi:nodetypes="cc"
  1133. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
  1134. d="m 354.91553,738.1999 0,-141.09748"
  1135. id="path4138-2-9-3-7"
  1136. inkscape:connector-curvature="0" />
  1137. <path
  1138. sodipodi:nodetypes="cc"
  1139. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1"
  1140. d="m 1115.702,738.1999 0,-536.78016"
  1141. id="path4138-2-9-3-7-0"
  1142. inkscape:connector-curvature="0" />
  1143. <rect
  1144. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1145. id="rect4136-1-4-2"
  1146. width="46.824177"
  1147. height="20"
  1148. x="1148.7444"
  1149. y="316.06638"
  1150. ry="7"
  1151. rx="7" />
  1152. <path
  1153. sodipodi:nodetypes="cc"
  1154. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1155. d="m 1148.7288,325.91275 46.4671,0"
  1156. id="path4138-6-8-0"
  1157. inkscape:connector-curvature="0" />
  1158. <text
  1159. sodipodi:linespacing="125%"
  1160. id="text4152-8-8-6"
  1161. y="323.215"
  1162. x="1157.3477"
  1163. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1164. xml:space="preserve"
  1165. transform="scale(0.999993,1.000007)"><tspan
  1166. y="323.215"
  1167. x="1157.3477"
  1168. id="tspan4154-9-8-6"
  1169. sodipodi:role="line">stopped</tspan></text>
  1170. <path
  1171. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-3-0)"
  1172. d="m 1116.0357,302.40424 50.4054,0 -0.044,11.97662"
  1173. id="path9240-73-6"
  1174. inkscape:connector-curvature="0"
  1175. sodipodi:nodetypes="ccc" />
  1176. <text
  1177. sodipodi:linespacing="125%"
  1178. id="text4528-4-9-0-1"
  1179. y="279.54465"
  1180. x="1118.7952"
  1181. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1182. xml:space="preserve"
  1183. transform="scale(0.999993,1.000007)"><tspan
  1184. style="font-size:6.25px"
  1185. y="279.54465"
  1186. x="1118.7952"
  1187. sodipodi:role="line"
  1188. id="tspan11406"> [IN(/simulation_state/stopped)</tspan><tspan
  1189. style="font-size:6.25px"
  1190. y="287.35715"
  1191. x="1118.7952"
  1192. sodipodi:role="line"
  1193. id="tspan6780">and IN(/simulation_flow/stopped)] /</tspan><tspan
  1194. style="font-size:6.25px"
  1195. y="295.16965"
  1196. x="1118.7952"
  1197. sodipodi:role="line"
  1198. id="tspan6805"> self.finalize()</tspan></text>
  1199. <text
  1200. sodipodi:linespacing="125%"
  1201. id="text4152-5-0-4"
  1202. y="196.45534"
  1203. x="487.41339"
  1204. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1205. xml:space="preserve"><tspan
  1206. y="196.45534"
  1207. x="487.41339"
  1208. id="tspan4154-95-8-1"
  1209. sodipodi:role="line"
  1210. style="font-weight:bold">statechart <tspan
  1211. style="font-weight:normal"
  1212. id="tspan39494">{inports: in; outports: out, semantics: {internal_event_lifeline=next_combo_step}}</tspan></tspan></text>
  1213. <text
  1214. xml:space="preserve"
  1215. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1216. x="265.50198"
  1217. y="274.16"
  1218. id="text6592"
  1219. sodipodi:linespacing="125%"><tspan
  1220. sodipodi:role="line"
  1221. id="tspan6594"
  1222. x="265.50198"
  1223. y="274.16" /></text>
  1224. <text
  1225. xml:space="preserve"
  1226. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1227. x="493.82623"
  1228. y="461.61942"
  1229. id="text5128"
  1230. sodipodi:linespacing="125%"><tspan
  1231. sodipodi:role="line"
  1232. id="tspan5130"
  1233. x="493.82623"
  1234. y="461.61942" /></text>
  1235. <text
  1236. sodipodi:linespacing="125%"
  1237. id="text4152-5-7-6-5-3"
  1238. y="608.67755"
  1239. x="637.07117"
  1240. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1241. xml:space="preserve"><tspan
  1242. y="608.67755"
  1243. x="637.07117"
  1244. id="tspan4154-95-2-1-0-0"
  1245. sodipodi:role="line"
  1246. style="font-style:italic">UserOutput</tspan></text>
  1247. <g
  1248. id="g4430-1"
  1249. transform="matrix(0.99999563,0,0,0.99999649,688.85345,745.92933)">
  1250. <rect
  1251. rx="7.0000329"
  1252. ry="7.0000329"
  1253. y="-82.003708"
  1254. x="124.64892"
  1255. height="18"
  1256. width="69.671318"
  1257. id="rect4136-1-4-5-70"
  1258. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  1259. <path
  1260. inkscape:connector-curvature="0"
  1261. id="path4138-6-8-6-8"
  1262. d="m 124.63226,-72.024559 69.75708,0"
  1263. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1264. sodipodi:nodetypes="cc" />
  1265. <text
  1266. xml:space="preserve"
  1267. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1268. x="146.15266"
  1269. y="-74.719902"
  1270. id="text4152-8-8-5-3"
  1271. sodipodi:linespacing="125%"><tspan
  1272. sodipodi:role="line"
  1273. id="tspan4154-9-8-9-1"
  1274. x="146.15266"
  1275. y="-74.719902">waiting</tspan></text>
  1276. </g>
  1277. <path
  1278. sodipodi:nodetypes="cccc"
  1279. inkscape:connector-curvature="0"
  1280. id="path4156-1-8"
  1281. d="m 842.72555,681.98036 0,10.52517 8.4727,0 0,-9.08627"
  1282. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5)" />
  1283. <text
  1284. sodipodi:linespacing="125%"
  1285. id="text4528-4-7"
  1286. y="700.93671"
  1287. x="790.3609"
  1288. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1289. xml:space="preserve"><tspan
  1290. style="font-size:6.25px"
  1291. y="700.93671"
  1292. x="790.3609"
  1293. id="tspan4530-1-1"
  1294. sodipodi:role="line">termination_condition / </tspan><tspan
  1295. style="font-size:6.25px"
  1296. y="708.74921"
  1297. x="790.3609"
  1298. sodipodi:role="line"
  1299. id="tspan10861"> out::terminated,</tspan><tspan
  1300. style="font-size:6.25px"
  1301. y="716.56171"
  1302. x="790.3609"
  1303. sodipodi:role="line"
  1304. id="tspan10863"> out::current_state(self.simulated_time, self.state)</tspan></text>
  1305. <path
  1306. sodipodi:nodetypes="cccc"
  1307. inkscape:connector-curvature="0"
  1308. id="path4156-1-8-5"
  1309. d="m 842.72555,663.87872 0,-10.52517 8.4727,0 0,9.08627"
  1310. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3)" />
  1311. <text
  1312. sodipodi:linespacing="125%"
  1313. id="text4528-4-7-5"
  1314. y="629.56982"
  1315. x="781.53986"
  1316. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1317. xml:space="preserve"><tspan
  1318. style="font-size:6.25px"
  1319. y="629.56982"
  1320. x="781.53986"
  1321. id="tspan4530-1-1-1"
  1322. sodipodi:role="line">paused /</tspan><tspan
  1323. style="font-size:6.25px"
  1324. y="637.38232"
  1325. x="781.53986"
  1326. sodipodi:role="line"
  1327. id="tspan10861-2"> out::paused,</tspan><tspan
  1328. style="font-size:6.25px"
  1329. y="645.19482"
  1330. x="781.53986"
  1331. sodipodi:role="line"
  1332. id="tspan10863-4"> out::current_state(self.simulated_time, self.state)</tspan></text>
  1333. <path
  1334. sodipodi:nodetypes="cccc"
  1335. inkscape:connector-curvature="0"
  1336. id="path4156-1-8-5-9"
  1337. d="m 883.33685,669.29254 10.5251,0 0,8.47266 -10.1469,0"
  1338. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1)" />
  1339. <text
  1340. sodipodi:linespacing="125%"
  1341. id="text4528-4-7-5-4"
  1342. y="667.75366"
  1343. x="898.91949"
  1344. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1345. xml:space="preserve"><tspan
  1346. style="font-size:6.25px"
  1347. y="667.75366"
  1348. x="898.91949"
  1349. id="tspan4530-1-1-1-0"
  1350. sodipodi:role="line">big_step_done [IN(/simulation_state/running/realtime)</tspan><tspan
  1351. style="font-size:6.25px"
  1352. y="675.56616"
  1353. x="898.91949"
  1354. sodipodi:role="line"
  1355. id="tspan6630"> or IN(/simulation_state/running/big_step)</tspan><tspan
  1356. style="font-size:6.25px"
  1357. y="683.37866"
  1358. x="898.91949"
  1359. sodipodi:role="line"
  1360. id="tspan6632"> or IN(/simulation_state/running/big_step_done)] /</tspan><tspan
  1361. style="font-size:6.25px"
  1362. y="691.19116"
  1363. x="898.91949"
  1364. sodipodi:role="line"
  1365. id="tspan10861-2-7"> out::stepped,</tspan><tspan
  1366. style="font-size:6.25px"
  1367. y="699.00366"
  1368. x="898.91949"
  1369. sodipodi:role="line"
  1370. id="tspan10863-4-1"> out::current_state(self.simulated_time, self.state)</tspan></text>
  1371. <path
  1372. sodipodi:nodetypes="cccc"
  1373. inkscape:connector-curvature="0"
  1374. id="path4156-1-8-5-9-0-9"
  1375. d="m 813.21015,669.01457 -10.5252,0 0,8.47266 10.147,0"
  1376. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1-7-5)" />
  1377. <ellipse
  1378. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1379. id="path9238-1-4"
  1380. cx="804.86224"
  1381. cy="653.47394"
  1382. rx="2.9999869"
  1383. ry="2.9999895" />
  1384. <path
  1385. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6969)"
  1386. d="m 808.00195,653.14946 15.5,0 0,9.75"
  1387. id="path6961"
  1388. inkscape:connector-curvature="0" />
  1389. <text
  1390. sodipodi:linespacing="125%"
  1391. id="text4528-4-7-5-1-3-1-4"
  1392. y="669.13123"
  1393. x="648.42944"
  1394. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1395. xml:space="preserve"><tspan
  1396. style="font-size:6.25px"
  1397. y="669.13123"
  1398. x="648.42944"
  1399. sodipodi:role="line"
  1400. id="tspan7274-6-8-0">breakpoint_triggered</tspan><tspan
  1401. style="font-size:6.25px"
  1402. y="676.94373"
  1403. x="648.42944"
  1404. sodipodi:role="line"
  1405. id="tspan7278-2-0-1"> out::breakpoint_triggered(self.simulated_time, </tspan><tspan
  1406. style="font-size:6.25px"
  1407. y="684.75623"
  1408. x="648.42944"
  1409. sodipodi:role="line"
  1410. id="tspan7360"> self.triggered_bp)</tspan></text>
  1411. <g
  1412. id="g4629"
  1413. transform="translate(-143.89137,130.02282)">
  1414. <g
  1415. transform="matrix(0.99999563,0,0,0.99999649,440.26812,620.68534)"
  1416. id="g4430-1-2">
  1417. <rect
  1418. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1419. id="rect4136-1-4-5-70-6"
  1420. width="69.671318"
  1421. height="18"
  1422. x="124.64892"
  1423. y="-82.003708"
  1424. ry="7.0000329"
  1425. rx="7.0000334" />
  1426. <path
  1427. sodipodi:nodetypes="cc"
  1428. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1429. d="m 124.63226,-72.024559 69.75708,0"
  1430. id="path4138-6-8-6-8-6"
  1431. inkscape:connector-curvature="0" />
  1432. <text
  1433. sodipodi:linespacing="125%"
  1434. id="text4152-8-8-5-3-8"
  1435. y="-74.719902"
  1436. x="143.67525"
  1437. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1438. xml:space="preserve"><tspan
  1439. y="-74.719902"
  1440. x="143.67525"
  1441. id="tspan4154-9-8-9-1-8"
  1442. sodipodi:role="line">Listening</tspan></text>
  1443. </g>
  1444. </g>
  1445. <path
  1446. sodipodi:nodetypes="cccc"
  1447. inkscape:connector-curvature="0"
  1448. id="path4156-1-8-5-5"
  1449. d="m 450.32959,668.54353 0,-10.52517 8.4727,0 0,9.08627"
  1450. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-3)" />
  1451. <path
  1452. sodipodi:nodetypes="cccc"
  1453. inkscape:connector-curvature="0"
  1454. id="path4156-1-8-1"
  1455. d="m 450.32959,686.46246 0,10.52517 8.4727,0 0,-9.08627"
  1456. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-36)" />
  1457. <path
  1458. sodipodi:nodetypes="cccc"
  1459. inkscape:connector-curvature="0"
  1460. id="path4156-1-8-5-9-0"
  1461. d="m 490.74049,673.77464 10.5252,0 0,8.47266 -10.1469,0"
  1462. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14561-5-3-1-7)" />
  1463. <text
  1464. sodipodi:linespacing="125%"
  1465. id="text4528-4-7-5-1"
  1466. y="706.75653"
  1467. x="374.43051"
  1468. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1469. xml:space="preserve"><tspan
  1470. style="font-size:6.25px"
  1471. y="706.75653"
  1472. x="374.43051"
  1473. sodipodi:role="line"
  1474. id="tspan10863-4-4">in::add_breakpoint(name, function, enabled, disable_on_trigger) /</tspan><tspan
  1475. style="font-size:6.25px"
  1476. y="714.56903"
  1477. x="374.43051"
  1478. sodipodi:role="line"
  1479. id="tspan7274"> result = self.addBreakpoint(name, function, enabled, disable_on_trigger),</tspan><tspan
  1480. style="font-size:6.25px"
  1481. y="722.38153"
  1482. x="374.43051"
  1483. sodipodi:role="line"
  1484. id="tspan7278"> out::add_breakpoint_result(result)</tspan></text>
  1485. <text
  1486. sodipodi:linespacing="125%"
  1487. id="text4528-4-7-5-1-3"
  1488. y="672.83057"
  1489. x="505.60886"
  1490. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1491. xml:space="preserve"><tspan
  1492. style="font-size:6.25px"
  1493. y="672.83057"
  1494. x="505.60886"
  1495. sodipodi:role="line"
  1496. id="tspan10863-4-4-8">in::del_breakpoint(name) /</tspan><tspan
  1497. style="font-size:6.25px"
  1498. y="680.64307"
  1499. x="505.60886"
  1500. sodipodi:role="line"
  1501. id="tspan7274-6"> result = self.delBreakpoint(name),</tspan><tspan
  1502. style="font-size:6.25px"
  1503. y="688.45557"
  1504. x="505.60886"
  1505. sodipodi:role="line"
  1506. id="tspan7278-2"> out::del_breakpoint_result(result)</tspan></text>
  1507. <text
  1508. sodipodi:linespacing="125%"
  1509. id="text4528-4-7-5-1-3-1"
  1510. y="637.45996"
  1511. x="439.73203"
  1512. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1513. xml:space="preserve"><tspan
  1514. style="font-size:6.25px"
  1515. y="637.45996"
  1516. x="439.73203"
  1517. sodipodi:role="line"
  1518. id="tspan10863-4-4-8-7">in::toggle_breakpoint(name) /</tspan><tspan
  1519. style="font-size:6.25px"
  1520. y="645.27246"
  1521. x="439.73203"
  1522. sodipodi:role="line"
  1523. id="tspan7274-6-8"> result = self.toggleBreakpoint(name),</tspan><tspan
  1524. style="font-size:6.25px"
  1525. y="653.08496"
  1526. x="439.73203"
  1527. sodipodi:role="line"
  1528. id="tspan7278-2-0"> out::toggle_breakpoint_result(result)</tspan></text>
  1529. <text
  1530. sodipodi:linespacing="125%"
  1531. id="text4152-5-7-6-5-3-4"
  1532. y="608.80939"
  1533. x="363.59781"
  1534. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1535. xml:space="preserve"><tspan
  1536. y="608.80939"
  1537. x="363.59781"
  1538. id="tspan4154-95-2-1-0-0-1"
  1539. sodipodi:role="line"
  1540. style="font-style:italic">BreakpointManager</tspan></text>
  1541. <g
  1542. id="g4426-4"
  1543. transform="translate(297.00838,743.48822)">
  1544. <circle
  1545. r="3"
  1546. cy="-68.843407"
  1547. cx="97.341057"
  1548. id="path9238-2"
  1549. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  1550. <path
  1551. sodipodi:nodetypes="cc"
  1552. inkscape:connector-curvature="0"
  1553. id="path9240-0"
  1554. d="m 100.5837,-68.843422 22.05546,0"
  1555. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-0)" />
  1556. </g>
  1557. <g
  1558. id="g4629-3"
  1559. transform="translate(-387.48941,134.60866)">
  1560. <g
  1561. transform="matrix(0.99999563,0,0,0.99999649,440.26812,620.68534)"
  1562. id="g4430-1-2-0">
  1563. <rect
  1564. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1565. id="rect4136-1-4-5-70-6-1"
  1566. width="69.671318"
  1567. height="18"
  1568. x="124.64892"
  1569. y="-82.003708"
  1570. ry="7.0000329"
  1571. rx="7.0000329" />
  1572. <path
  1573. sodipodi:nodetypes="cc"
  1574. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1575. d="m 124.63226,-72.024559 69.75708,0"
  1576. id="path4138-6-8-6-8-6-2"
  1577. inkscape:connector-curvature="0" />
  1578. <text
  1579. sodipodi:linespacing="125%"
  1580. id="text4152-8-8-5-3-8-6"
  1581. y="-74.719902"
  1582. x="143.67525"
  1583. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1584. xml:space="preserve"><tspan
  1585. y="-74.719902"
  1586. x="143.67525"
  1587. id="tspan4154-9-8-9-1-8-8"
  1588. sodipodi:role="line">listening</tspan></text>
  1589. </g>
  1590. </g>
  1591. <path
  1592. sodipodi:nodetypes="cccc"
  1593. inkscape:connector-curvature="0"
  1594. id="path4156-1-8-5-5-5"
  1595. d="m 206.73157,673.12938 0,-10.52517 8.47266,0 0,9.08627"
  1596. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6215)" />
  1597. <text
  1598. sodipodi:linespacing="125%"
  1599. id="text4528-4-7-5-1-3-1-8"
  1600. y="643.5459"
  1601. x="122.6338"
  1602. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1603. xml:space="preserve"><tspan
  1604. style="font-size:6.25px"
  1605. y="643.5459"
  1606. x="122.6338"
  1607. sodipodi:role="line"
  1608. id="tspan6512">in::god_event(new_state) [IN(/simulation_state/paused)] /</tspan><tspan
  1609. style="font-size:6.25px"
  1610. y="651.3584"
  1611. x="122.6338"
  1612. sodipodi:role="line"
  1613. id="tspan6516"> result = self.godEvent(new_state),</tspan><tspan
  1614. style="font-size:6.25px"
  1615. y="659.1709"
  1616. x="122.6338"
  1617. sodipodi:role="line"
  1618. id="tspan6518"> god_event_result(result)</tspan></text>
  1619. <text
  1620. sodipodi:linespacing="125%"
  1621. id="text4152-5-7-6-5-3-4-5"
  1622. y="608.80939"
  1623. x="105.24221"
  1624. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1625. xml:space="preserve"><tspan
  1626. y="608.80939"
  1627. x="105.24221"
  1628. id="tspan4154-95-2-1-0-0-1-2"
  1629. sodipodi:role="line"
  1630. style="font-style:italic">GodEventManager</tspan></text>
  1631. <g
  1632. id="g4426-4-1"
  1633. transform="translate(53.853295,746.42844)">
  1634. <circle
  1635. r="3"
  1636. cy="-68.843407"
  1637. cx="97.341057"
  1638. id="path9238-2-0"
  1639. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  1640. <path
  1641. sodipodi:nodetypes="cc"
  1642. inkscape:connector-curvature="0"
  1643. id="path9240-0-3"
  1644. d="m 100.5837,-68.843422 22.05546,0"
  1645. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-0-0)" />
  1646. </g>
  1647. <text
  1648. xml:space="preserve"
  1649. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1650. x="-33.24799"
  1651. y="597.68188"
  1652. id="text5758"
  1653. sodipodi:linespacing="125%"><tspan
  1654. sodipodi:role="line"
  1655. id="tspan5760"
  1656. x="-33.24799"
  1657. y="597.68188" /></text>
  1658. <text
  1659. xml:space="preserve"
  1660. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1661. x="-148.22672"
  1662. y="735.72198"
  1663. id="text6722"
  1664. sodipodi:linespacing="125%"><tspan
  1665. sodipodi:role="line"
  1666. id="tspan6724"
  1667. x="-148.22672"
  1668. y="735.72198" /></text>
  1669. <text
  1670. sodipodi:linespacing="125%"
  1671. id="text4152-5-7-6"
  1672. y="210.2946"
  1673. x="637.44836"
  1674. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1675. xml:space="preserve"><tspan
  1676. y="210.2946"
  1677. x="637.44836"
  1678. id="tspan4154-95-2-1"
  1679. sodipodi:role="line"
  1680. style="font-style:italic">SimulationState</tspan></text>
  1681. <rect
  1682. rx="7"
  1683. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1684. id="rect4136-1"
  1685. width="46.824932"
  1686. height="19.999929"
  1687. x="748.57007"
  1688. y="284.63754"
  1689. ry="7" />
  1690. <path
  1691. sodipodi:nodetypes="cc"
  1692. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1693. d="m 748.55368,294.48386 46.71768,0"
  1694. id="path4138-6"
  1695. inkscape:connector-curvature="0" />
  1696. <text
  1697. sodipodi:linespacing="125%"
  1698. id="text4152-8"
  1699. y="291.78885"
  1700. x="758.62494"
  1701. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1702. xml:space="preserve"><tspan
  1703. y="291.78885"
  1704. x="758.62494"
  1705. id="tspan4154-9"
  1706. sodipodi:role="line">Paused</tspan></text>
  1707. <g
  1708. id="g6778"
  1709. transform="translate(513.74392,-75.292759)">
  1710. <rect
  1711. rx="6.9999981"
  1712. ry="7"
  1713. y="527.80377"
  1714. x="394.57697"
  1715. height="19.999662"
  1716. width="46.82494"
  1717. id="rect4136-1-4"
  1718. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  1719. <path
  1720. inkscape:connector-curvature="0"
  1721. id="path4138-6-8"
  1722. d="m 394.56089,537.64997 46.4677,0"
  1723. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1724. sodipodi:nodetypes="cc" />
  1725. <text
  1726. transform="scale(1.0000078,0.9999922)"
  1727. xml:space="preserve"
  1728. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1729. x="403.16763"
  1730. y="534.95923"
  1731. id="text4152-8-8"
  1732. sodipodi:linespacing="125%"><tspan
  1733. sodipodi:role="line"
  1734. id="tspan4154-9-8"
  1735. x="403.16763"
  1736. y="534.95923">Stopped</tspan></text>
  1737. </g>
  1738. <ellipse
  1739. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1740. id="path9238-6-0"
  1741. cx="721.46631"
  1742. cy="-294.32211"
  1743. transform="scale(1,-1)"
  1744. rx="3.000001"
  1745. ry="2.9999897" />
  1746. <path
  1747. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6)"
  1748. d="m 724.70918,294.32214 21.55558,0"
  1749. id="path9240-5-5"
  1750. inkscape:connector-curvature="0"
  1751. sodipodi:nodetypes="cc" />
  1752. <path
  1753. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-1)"
  1754. d="m 795.40749,291.52225 104.32039,0"
  1755. id="path9240-5-5-1"
  1756. inkscape:connector-curvature="0"
  1757. sodipodi:nodetypes="cc" />
  1758. <path
  1759. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-1-5)"
  1760. d="m 932.84429,431.1405 0,20.5001"
  1761. id="path9240-5-5-1-2"
  1762. inkscape:connector-curvature="0"
  1763. sodipodi:nodetypes="cc" />
  1764. <text
  1765. sodipodi:linespacing="125%"
  1766. id="text4528-4-0"
  1767. y="288.93765"
  1768. x="800.03802"
  1769. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1770. xml:space="preserve"><tspan
  1771. style="font-size:6.25px"
  1772. y="288.93765"
  1773. x="800.03802"
  1774. id="tspan4530-1-5"
  1775. sodipodi:role="line">in::continuous</tspan></text>
  1776. <text
  1777. xml:space="preserve"
  1778. style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1779. x="934.68835"
  1780. y="437.73248"
  1781. id="text15978"
  1782. sodipodi:linespacing="125%"
  1783. transform="scale(1.000008,0.999992)"><tspan
  1784. sodipodi:role="line"
  1785. x="934.68835"
  1786. y="437.73248"
  1787. id="tspan8584">self.endCondition() /</tspan><tspan
  1788. sodipodi:role="line"
  1789. x="934.68835"
  1790. y="445.54498"
  1791. id="tspan8588"> termination_condition</tspan></text>
  1792. <g
  1793. id="g4630"
  1794. transform="translate(508.3794,-114.23259)">
  1795. <rect
  1796. ry="7.0000253"
  1797. y="402.08453"
  1798. x="391.85059"
  1799. height="20"
  1800. width="58.441673"
  1801. id="rect4136-1-3"
  1802. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1803. rx="6.9999943" />
  1804. <path
  1805. inkscape:connector-curvature="0"
  1806. id="path4138-6-5"
  1807. d="m 391.83394,411.93097 58.58959,0"
  1808. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1809. sodipodi:nodetypes="cc" />
  1810. <text
  1811. xml:space="preserve"
  1812. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1813. x="399.89343"
  1814. y="409.23563"
  1815. id="text4152-8-2"
  1816. sodipodi:linespacing="125%"><tspan
  1817. sodipodi:role="line"
  1818. id="tspan4154-9-4"
  1819. x="399.89343"
  1820. y="409.23563">Continuous</tspan></text>
  1821. </g>
  1822. <rect
  1823. rx="7"
  1824. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1825. id="rect4136-3-1"
  1826. width="203.8537"
  1827. height="142.88931"
  1828. x="863.38434"
  1829. y="270.88736"
  1830. ry="7" />
  1831. <path
  1832. sodipodi:nodetypes="cc"
  1833. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1834. d="m 863.36793,280.7336 203.49627,0"
  1835. id="path4138-2-4"
  1836. inkscape:connector-curvature="0" />
  1837. <text
  1838. sodipodi:linespacing="125%"
  1839. id="text4152-5-76"
  1840. y="277.68527"
  1841. x="947.74042"
  1842. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1843. xml:space="preserve"><tspan
  1844. y="277.68527"
  1845. x="947.74042"
  1846. id="tspan4154-95-6"
  1847. sodipodi:role="line"
  1848. style="font-weight:bold">Running</tspan></text>
  1849. <ellipse
  1850. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1851. id="path9238-6-0-4"
  1852. cx="873.99365"
  1853. cy="-301.85013"
  1854. transform="scale(1,-1)"
  1855. rx="3.000001"
  1856. ry="2.9999897" />
  1857. <path
  1858. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-0-6-0)"
  1859. d="m 877.11042,301.84992 21.55547,0"
  1860. id="path9240-5-5-6"
  1861. inkscape:connector-curvature="0"
  1862. sodipodi:nodetypes="cc" />
  1863. <text
  1864. sodipodi:linespacing="125%"
  1865. id="text4528-4-0-7"
  1866. y="253.82674"
  1867. x="825.12079"
  1868. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1869. xml:space="preserve"><tspan
  1870. style="font-size:6.25px"
  1871. y="253.82674"
  1872. x="825.12079"
  1873. sodipodi:role="line"
  1874. id="tspan7098">in::pause</tspan></text>
  1875. <g
  1876. id="g4630-8"
  1877. transform="translate(504.57913,-87.40094)">
  1878. <rect
  1879. ry="7.0000253"
  1880. y="402.08453"
  1881. x="391.85059"
  1882. height="26.717529"
  1883. width="75.942574"
  1884. id="rect4136-1-3-8"
  1885. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1886. rx="6.9999943" />
  1887. <path
  1888. inkscape:connector-curvature="0"
  1889. id="path4138-6-5-4"
  1890. d="m 391.83394,411.93097 75.61624,0"
  1891. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1892. sodipodi:nodetypes="cc" />
  1893. <text
  1894. xml:space="preserve"
  1895. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1896. x="413.23251"
  1897. y="409.23563"
  1898. id="text4152-8-2-1"
  1899. sodipodi:linespacing="125%"><tspan
  1900. sodipodi:role="line"
  1901. id="tspan4154-9-4-3"
  1902. x="413.23251"
  1903. y="409.23563">Realtime</tspan></text>
  1904. </g>
  1905. <path
  1906. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495)"
  1907. d="m 782.69796,304.68361 0,17 112.49416,0"
  1908. id="path4487"
  1909. inkscape:connector-curvature="0"
  1910. sodipodi:nodetypes="ccc" />
  1911. <text
  1912. sodipodi:linespacing="125%"
  1913. id="text4528-4-0-79"
  1914. y="328.2037"
  1915. x="795.41431"
  1916. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1917. xml:space="preserve"><tspan
  1918. style="font-size:6.25px"
  1919. y="328.2037"
  1920. x="795.41431"
  1921. id="tspan4530-1-5-1"
  1922. sodipodi:role="line">in::realtime(scale)</tspan></text>
  1923. <text
  1924. sodipodi:linespacing="125%"
  1925. id="text4528-4-9-0-5"
  1926. y="330.52957"
  1927. x="900.0022"
  1928. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1929. xml:space="preserve"><tspan
  1930. style="font-size:6.25px"
  1931. y="330.52957"
  1932. x="900.0022"
  1933. id="tspan4530-1-7-1-2"
  1934. sodipodi:role="line">onentry:</tspan><tspan
  1935. style="font-size:6.25px"
  1936. y="338.34207"
  1937. x="900.0022"
  1938. sodipodi:role="line"
  1939. id="tspan6629-6"> self.resetStartTime()</tspan></text>
  1940. <g
  1941. id="g4607"
  1942. transform="translate(511.6988,-109.38985)">
  1943. <rect
  1944. ry="7.0000253"
  1945. y="460.04227"
  1946. x="388.53119"
  1947. height="20"
  1948. width="58.441673"
  1949. id="rect4136-1-3-4"
  1950. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1951. rx="6.9999943" />
  1952. <path
  1953. inkscape:connector-curvature="0"
  1954. id="path4138-6-5-43"
  1955. d="m 388.51455,469.88869 58.58959,0"
  1956. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1957. sodipodi:nodetypes="cc" />
  1958. <text
  1959. xml:space="preserve"
  1960. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1961. x="403.04498"
  1962. y="467.19336"
  1963. id="text4152-8-2-4"
  1964. sodipodi:linespacing="125%"><tspan
  1965. sodipodi:role="line"
  1966. id="tspan4154-9-4-5"
  1967. x="403.04498"
  1968. y="467.19336">BigStep</tspan></text>
  1969. </g>
  1970. <g
  1971. id="g16432"
  1972. transform="translate(0.70711,0)">
  1973. <g
  1974. transform="translate(506.99169,-102.63618)"
  1975. id="g4613">
  1976. <rect
  1977. rx="6.9999943"
  1978. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  1979. id="rect4136-1-3-4-5"
  1980. width="66.691681"
  1981. height="20"
  1982. x="392.53119"
  1983. y="491.04227"
  1984. ry="7.0000253" />
  1985. <path
  1986. sodipodi:nodetypes="cc"
  1987. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  1988. d="m 392.51454,500.88869 66.58959,0"
  1989. id="path4138-6-5-43-7"
  1990. inkscape:connector-curvature="0" />
  1991. <text
  1992. sodipodi:linespacing="125%"
  1993. id="text4152-8-2-4-3"
  1994. y="498.19336"
  1995. x="401.3775"
  1996. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  1997. xml:space="preserve"><tspan
  1998. y="498.19336"
  1999. x="401.3775"
  2000. id="tspan4154-9-4-5-0"
  2001. sodipodi:role="line">BigStepDone</tspan></text>
  2002. </g>
  2003. </g>
  2004. <path
  2005. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951-0-4)"
  2006. d="m 924.04783,370.66072 0,15.77253"
  2007. id="path9240-7-4-6"
  2008. inkscape:connector-curvature="0"
  2009. sodipodi:nodetypes="cc" />
  2010. <text
  2011. xml:space="preserve"
  2012. style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2013. x="875.53717"
  2014. y="382.078"
  2015. id="text15978-3"
  2016. sodipodi:linespacing="125%"
  2017. transform="scale(1.0000078,0.9999922)"><tspan
  2018. sodipodi:role="line"
  2019. x="875.53717"
  2020. y="382.078"
  2021. id="tspan8588-3">big_step_done</tspan></text>
  2022. <path
  2023. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5)"
  2024. d="m 777.47117,304.51384 0,52.35534 121.28278,0"
  2025. id="path4487-5"
  2026. inkscape:connector-curvature="0"
  2027. sodipodi:nodetypes="ccc" />
  2028. <path
  2029. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-0)"
  2030. d="m 901.81893,390.29284 -130.22956,0 0,-84.05496"
  2031. id="path4487-5-7"
  2032. inkscape:connector-curvature="0"
  2033. sodipodi:nodetypes="ccc" />
  2034. <text
  2035. sodipodi:linespacing="125%"
  2036. id="text4528-4-0-9"
  2037. y="354.58017"
  2038. x="800.61487"
  2039. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2040. xml:space="preserve"><tspan
  2041. style="font-size:6.25px"
  2042. y="354.58017"
  2043. x="800.61487"
  2044. id="tspan4530-1-5-7"
  2045. sodipodi:role="line">in::big_step</tspan></text>
  2046. <text
  2047. sodipodi:linespacing="125%"
  2048. id="text4528-4-9-9-8"
  2049. y="387.85104"
  2050. x="789.84082"
  2051. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2052. xml:space="preserve"><tspan
  2053. style="font-size:6.25px"
  2054. y="387.85104"
  2055. x="789.84082"
  2056. sodipodi:role="line"
  2057. id="tspan5265-8-6">after(sccd_yield())</tspan></text>
  2058. <g
  2059. id="g4784"
  2060. transform="translate(818.38589,-570.27532)">
  2061. <rect
  2062. ry="7.0000072"
  2063. y="810.57483"
  2064. x="-69.815826"
  2065. height="19.999939"
  2066. width="57.324932"
  2067. id="rect4136-1-8"
  2068. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2069. rx="7" />
  2070. <path
  2071. inkscape:connector-curvature="0"
  2072. id="path4138-6-1"
  2073. d="m -69.832201,820.42121 57.147505,0"
  2074. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2075. sodipodi:nodetypes="cc" />
  2076. <text
  2077. xml:space="preserve"
  2078. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2079. x="-60.611977"
  2080. y="817.72614"
  2081. id="text4152-8-9"
  2082. sodipodi:linespacing="125%"><tspan
  2083. sodipodi:role="line"
  2084. id="tspan4154-9-7"
  2085. x="-60.611977"
  2086. y="817.72614">PrePaused</tspan></text>
  2087. </g>
  2088. <g
  2089. id="g4778"
  2090. transform="translate(756.3696,-387.85981)">
  2091. <rect
  2092. ry="7"
  2093. y="840.18188"
  2094. x="-8.4104538"
  2095. height="19.999939"
  2096. width="113.325"
  2097. id="rect4136-1-8-6"
  2098. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2099. rx="7" />
  2100. <path
  2101. inkscape:connector-curvature="0"
  2102. id="path4138-6-1-0"
  2103. d="m -8.4268183,850.02827 112.6474983,0"
  2104. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2105. sodipodi:nodetypes="cc" />
  2106. <text
  2107. xml:space="preserve"
  2108. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2109. x="4.1034851"
  2110. y="847.33319"
  2111. id="text4152-8-9-0"
  2112. sodipodi:linespacing="125%"><tspan
  2113. sodipodi:role="line"
  2114. id="tspan4154-9-7-3"
  2115. x="4.1034851"
  2116. y="847.33319">PreBreakpointTriggered</tspan></text>
  2117. </g>
  2118. <path
  2119. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5014)"
  2120. d="m 885.78379,270.80643 0,-24 -78.125,0"
  2121. id="path5006"
  2122. inkscape:connector-curvature="0"
  2123. sodipodi:nodetypes="ccc" />
  2124. <path
  2125. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5374)"
  2126. d="m 761.40879,260.55643 0,22.3125"
  2127. id="path5366"
  2128. inkscape:connector-curvature="0"
  2129. sodipodi:nodetypes="cc" />
  2130. <text
  2131. sodipodi:linespacing="125%"
  2132. id="text4528-4-0-7-5"
  2133. y="267.31488"
  2134. x="763.07819"
  2135. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2136. xml:space="preserve"><tspan
  2137. style="font-size:6.25px"
  2138. y="267.31488"
  2139. x="763.07819"
  2140. sodipodi:role="line"
  2141. id="tspan7098-8">after(sccd_yield()*2) /</tspan><tspan
  2142. style="font-size:6.25px"
  2143. y="275.12738"
  2144. x="763.07819"
  2145. sodipodi:role="line"
  2146. id="tspan5780"> paused</tspan></text>
  2147. <path
  2148. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5988)"
  2149. d="m 755.14251,452.73745 0,-146.37111"
  2150. id="path5980"
  2151. inkscape:connector-curvature="0"
  2152. sodipodi:nodetypes="cc" />
  2153. <path
  2154. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6348)"
  2155. d="m 876.55777,413.92626 0,43.48707 -13.49569,0"
  2156. id="path6340"
  2157. inkscape:connector-curvature="0"
  2158. sodipodi:nodetypes="ccc" />
  2159. <rect
  2160. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.69999999;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2161. id="rect6700"
  2162. width="9.5459414"
  2163. height="8.6620579"
  2164. x="871.96155"
  2165. y="434.60916" />
  2166. <text
  2167. xml:space="preserve"
  2168. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2169. x="788.39014"
  2170. y="440.97549"
  2171. id="text8315"
  2172. sodipodi:linespacing="125%"><tspan
  2173. sodipodi:role="line"
  2174. x="788.39014"
  2175. y="440.97549"
  2176. style="font-size:6.25px"
  2177. id="tspan8340">[self.breakpointTriggers(INSTATE(Realtime))]</tspan></text>
  2178. <rect
  2179. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:0.69999999;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2180. id="rect6700-1"
  2181. width="15.556349"
  2182. height="18.915106"
  2183. x="748.74823"
  2184. y="427.90897" />
  2185. <text
  2186. sodipodi:linespacing="125%"
  2187. id="text4528-4-0-7-5-7"
  2188. y="435.0444"
  2189. x="712.19537"
  2190. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2191. xml:space="preserve"><tspan
  2192. style="font-size:6.25px"
  2193. y="435.0444"
  2194. x="712.19537"
  2195. sodipodi:role="line"
  2196. id="tspan7098-8-3">after(sccd_yield()*2) /</tspan><tspan
  2197. style="font-size:6.25px"
  2198. y="442.8569"
  2199. x="712.19537"
  2200. sodipodi:role="line"
  2201. id="tspan5780-8"> breakpoint_triggered</tspan></text>
  2202. <text
  2203. sodipodi:linespacing="125%"
  2204. id="text4152-5-7-6-5"
  2205. y="210.2946"
  2206. x="105.53884"
  2207. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2208. xml:space="preserve"><tspan
  2209. y="210.2946"
  2210. x="105.53884"
  2211. id="tspan4154-95-2-1-0"
  2212. sodipodi:role="line"
  2213. style="font-style:italic">SimulationFlow</tspan></text>
  2214. <g
  2215. id="g4430"
  2216. transform="translate(127.01652,349.95225)">
  2217. <rect
  2218. rx="7"
  2219. ry="7.0000005"
  2220. y="-82.003708"
  2221. x="38.259964"
  2222. height="18"
  2223. width="69.67131"
  2224. id="rect4136-1-4-5"
  2225. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2226. <path
  2227. inkscape:connector-curvature="0"
  2228. id="path4138-6-8-6"
  2229. d="m 38.243322,-72.024559 69.757048,0"
  2230. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2231. sodipodi:nodetypes="cc" />
  2232. <text
  2233. xml:space="preserve"
  2234. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2235. x="57.083046"
  2236. y="-74.719917"
  2237. id="text4152-8-8-5"
  2238. sodipodi:linespacing="125%"><tspan
  2239. sodipodi:role="line"
  2240. id="tspan4154-9-8-9"
  2241. x="57.083046"
  2242. y="-74.719917">Initialize</tspan></text>
  2243. </g>
  2244. <g
  2245. id="g4426"
  2246. transform="matrix(-1,0,0,-1,359.24164,167.85388)">
  2247. <circle
  2248. r="3"
  2249. cy="-68.843407"
  2250. cx="97.341057"
  2251. id="path9238"
  2252. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2253. <path
  2254. sodipodi:nodetypes="cc"
  2255. inkscape:connector-curvature="0"
  2256. id="path9240"
  2257. d="m 100.5837,-68.843422 22.05546,0"
  2258. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6)" />
  2259. </g>
  2260. <path
  2261. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951)"
  2262. d="m 283.67266,286.4669 0,20.02252"
  2263. id="path9240-7"
  2264. inkscape:connector-curvature="0"
  2265. sodipodi:nodetypes="cc" />
  2266. <text
  2267. sodipodi:linespacing="125%"
  2268. id="text4528-4"
  2269. y="300.34207"
  2270. x="206.14363"
  2271. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2272. xml:space="preserve"><tspan
  2273. style="font-size:6.25px"
  2274. y="300.34207"
  2275. x="206.14363"
  2276. id="tspan4530-1"
  2277. sodipodi:role="line">/ self.initialize()</tspan></text>
  2278. <g
  2279. transform="translate(130.02223,0.79421743)"
  2280. id="g4430-2-2" />
  2281. <g
  2282. id="g8979"
  2283. transform="translate(-298.08325,494.39717)">
  2284. <g
  2285. id="g4430-2-9"
  2286. transform="translate(573.47075,-66.266046)">
  2287. <rect
  2288. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2289. id="rect4136-1-4-5-7-0"
  2290. width="89.921326"
  2291. height="16.229185"
  2292. x="125.11331"
  2293. y="-75.253708"
  2294. ry="7.0000005"
  2295. rx="7" />
  2296. <path
  2297. sodipodi:nodetypes="cc"
  2298. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2299. d="m 125.09665,-65.274559 89.25708,0"
  2300. id="path4138-6-8-6-0-9"
  2301. inkscape:connector-curvature="0" />
  2302. <text
  2303. sodipodi:linespacing="125%"
  2304. id="text4152-8-8-5-0-2"
  2305. y="-67.969902"
  2306. x="156.24036"
  2307. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2308. xml:space="preserve"><tspan
  2309. y="-67.969902"
  2310. x="156.24036"
  2311. id="tspan4154-9-8-9-84-9"
  2312. sodipodi:role="line">Waiting</tspan></text>
  2313. </g>
  2314. </g>
  2315. <path
  2316. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5287)"
  2317. d="m 342.85561,324.65363 98.64139,0 0,26.32718"
  2318. id="path5279"
  2319. inkscape:connector-curvature="0"
  2320. sodipodi:nodetypes="ccc" />
  2321. <text
  2322. sodipodi:linespacing="125%"
  2323. id="text4528-4-6-0"
  2324. y="321.47498"
  2325. x="365.35156"
  2326. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2327. xml:space="preserve"><tspan
  2328. style="font-size:6.25px"
  2329. y="321.47498"
  2330. x="365.35156"
  2331. id="tspan4530-1-4-4"
  2332. sodipodi:role="line">[IN(/SimulationState/Running/Realtime)]</tspan></text>
  2333. <path
  2334. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker5557)"
  2335. d="m 418.56413,352.53121 0,-16.13909 -74.15784,0"
  2336. id="path5549"
  2337. inkscape:connector-curvature="0"
  2338. sodipodi:nodetypes="ccc" />
  2339. <rect
  2340. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2341. id="rect6128-5-3-6"
  2342. width="4.643548"
  2343. height="7.5946712"
  2344. x="415.85434"
  2345. y="343.83499" />
  2346. <text
  2347. sodipodi:linespacing="125%"
  2348. id="text4528-4-9-9"
  2349. y="342.5657"
  2350. x="352.0246"
  2351. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2352. xml:space="preserve"><tspan
  2353. style="font-size:6.25px"
  2354. y="342.5657"
  2355. x="352.0246"
  2356. sodipodi:role="line"
  2357. id="tspan5265-8">after(sccd_yield()) /</tspan><tspan
  2358. style="font-size:6.25px"
  2359. y="350.3782"
  2360. x="352.0246"
  2361. sodipodi:role="line"
  2362. id="tspan12622"> self.syncSimulatedTime()</tspan></text>
  2363. <path
  2364. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9951-1)"
  2365. d="m 421.88446,369.28531 0,33.36917"
  2366. id="path9240-7-8"
  2367. inkscape:connector-curvature="0"
  2368. sodipodi:nodetypes="cc" />
  2369. <rect
  2370. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2371. id="rect6128-5-3"
  2372. width="48.130611"
  2373. height="11.130201"
  2374. x="415.21173"
  2375. y="377.25302" />
  2376. <text
  2377. sodipodi:linespacing="125%"
  2378. id="text4528-4-9-9-6"
  2379. y="384.8551"
  2380. x="386.88379"
  2381. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2382. xml:space="preserve"><tspan
  2383. style="font-size:6.25px"
  2384. y="384.8551"
  2385. x="386.88379"
  2386. sodipodi:role="line"
  2387. id="tspan5265-8-3">[self.waitTime() &lt;= sccd_yield()]</tspan></text>
  2388. <rect
  2389. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2390. id="rect4136-1-4-5-2"
  2391. width="77.095917"
  2392. height="18"
  2393. x="251.87558"
  2394. y="267.94855"
  2395. ry="7.0000005"
  2396. rx="7" />
  2397. <path
  2398. sodipodi:nodetypes="cc"
  2399. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2400. d="m 251.85894,277.92769 76.47456,0"
  2401. id="path4138-6-8-6-1"
  2402. inkscape:connector-curvature="0" />
  2403. <text
  2404. sodipodi:linespacing="125%"
  2405. id="text4152-8-8-5-9"
  2406. y="275.23233"
  2407. x="255.54239"
  2408. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2409. xml:space="preserve"><tspan
  2410. y="275.23233"
  2411. x="255.54239"
  2412. id="tspan4154-9-8-9-9"
  2413. sodipodi:role="line">InitializeDebugger</tspan></text>
  2414. <path
  2415. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6833)"
  2416. d="m 224.38373,286.10774 0,7.42462 46.31549,0 0,-6.01041"
  2417. id="path6825"
  2418. inkscape:connector-curvature="0"
  2419. sodipodi:nodetypes="cccc" />
  2420. <text
  2421. sodipodi:linespacing="125%"
  2422. id="text4528-4-07"
  2423. y="296.37598"
  2424. x="288.78619"
  2425. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2426. xml:space="preserve"><tspan
  2427. style="font-size:6.25px"
  2428. y="296.37598"
  2429. x="288.78619"
  2430. id="tspan4530-1-6"
  2431. sodipodi:role="line">/ self.initializeDebugger()</tspan></text>
  2432. <rect
  2433. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2434. id="rect4136-1-4-5-7-00-6-9"
  2435. width="210.0946"
  2436. height="164.99261"
  2437. x="257.35501"
  2438. y="404.02661"
  2439. ry="6.9999986"
  2440. rx="6.9999981" />
  2441. <path
  2442. sodipodi:nodetypes="cc"
  2443. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2444. d="m 257.33831,414.00574 209.3875,0"
  2445. id="path4138-6-8-6-0-4-6-5"
  2446. inkscape:connector-curvature="0" />
  2447. <text
  2448. sodipodi:linespacing="125%"
  2449. id="text4152-8-8-5-0-0-2-5"
  2450. y="411.31042"
  2451. x="334.04294"
  2452. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2453. xml:space="preserve"><tspan
  2454. y="411.31042"
  2455. x="334.04294"
  2456. id="tspan4154-9-8-9-84-1-2-8"
  2457. sodipodi:role="line"
  2458. style="font-weight:bold">DoSimulation</tspan></text>
  2459. <path
  2460. sodipodi:nodetypes="cc"
  2461. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:4, 8;stroke-dashoffset:0;stroke-opacity:1"
  2462. d="m 628.17642,738.1999 0,-537.47659"
  2463. id="path4138-2-9-3-7-5"
  2464. inkscape:connector-curvature="0" />
  2465. <rect
  2466. rx="6.9999943"
  2467. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2468. id="rect4136-1-3-4-1"
  2469. width="58.441673"
  2470. height="20"
  2471. x="984.39075"
  2472. y="341.10648"
  2473. ry="7.0000253" />
  2474. <path
  2475. sodipodi:nodetypes="cc"
  2476. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2477. d="m 984.37416,350.9529 58.58964,0"
  2478. id="path4138-6-5-43-4"
  2479. inkscape:connector-curvature="0" />
  2480. <text
  2481. sodipodi:linespacing="125%"
  2482. id="text4152-8-2-4-8"
  2483. y="348.25757"
  2484. x="994.44775"
  2485. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2486. xml:space="preserve"><tspan
  2487. y="348.25757"
  2488. x="994.44775"
  2489. id="tspan4154-9-4-5-6"
  2490. sodipodi:role="line">SmallStep</tspan></text>
  2491. <g
  2492. id="g16288"
  2493. transform="translate(-0.5,8.0825366)">
  2494. <rect
  2495. ry="7.0000253"
  2496. y="380.32355"
  2497. x="984.89075"
  2498. height="20"
  2499. width="66.691681"
  2500. id="rect4136-1-3-4-5-3"
  2501. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2502. rx="6.9999943" />
  2503. <path
  2504. inkscape:connector-curvature="0"
  2505. id="path4138-6-5-43-7-6"
  2506. d="m 984.87416,390.16997 66.58964,0"
  2507. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2508. sodipodi:nodetypes="cc" />
  2509. <text
  2510. xml:space="preserve"
  2511. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2512. x="989.28027"
  2513. y="387.47464"
  2514. id="text4152-8-2-4-3-6"
  2515. sodipodi:linespacing="125%"><tspan
  2516. sodipodi:role="line"
  2517. id="tspan4154-9-4-5-0-6"
  2518. x="989.28027"
  2519. y="387.47464">SmallStepDone</tspan></text>
  2520. </g>
  2521. <path
  2522. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker13358)"
  2523. d="m 1008.2088,361.11481 0,24.77253"
  2524. id="path9240-7-4-6-0"
  2525. inkscape:connector-curvature="0"
  2526. sodipodi:nodetypes="cc" />
  2527. <text
  2528. xml:space="preserve"
  2529. style="font-style:normal;font-weight:normal;font-size:6.25px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2530. x="1009.6086"
  2531. y="370.43582"
  2532. id="text15978-3-6"
  2533. sodipodi:linespacing="125%"
  2534. transform="scale(1.0000078,0.9999922)"><tspan
  2535. sodipodi:role="line"
  2536. x="1009.6086"
  2537. y="370.43582"
  2538. id="tspan8588-3-5">small_step_done</tspan></text>
  2539. <path
  2540. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-7)"
  2541. d="m 779.8808,304.5836 0,43.16296 203.30719,0"
  2542. id="path4487-5-1"
  2543. inkscape:connector-curvature="0"
  2544. sodipodi:nodetypes="ccc" />
  2545. <text
  2546. sodipodi:linespacing="125%"
  2547. id="text4528-4-0-9-7"
  2548. y="344.75046"
  2549. x="809.03491"
  2550. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2551. xml:space="preserve"><tspan
  2552. style="font-size:6.25px"
  2553. y="344.75046"
  2554. x="809.03491"
  2555. id="tspan4530-1-5-7-3"
  2556. sodipodi:role="line">in::small_step</tspan></text>
  2557. <path
  2558. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999993;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker4495-5-0-2)"
  2559. d="m 1001.0912,408.35334 -0.1234,11.25 -239.04658,0 0,-113.23569"
  2560. id="path4487-5-7-2"
  2561. inkscape:connector-curvature="0"
  2562. sodipodi:nodetypes="cccc" />
  2563. <text
  2564. sodipodi:linespacing="125%"
  2565. id="text4528-4-9-9-8-7"
  2566. y="417.54477"
  2567. x="790.29089"
  2568. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2569. xml:space="preserve"><tspan
  2570. style="font-size:6.25px"
  2571. y="417.54477"
  2572. x="790.29089"
  2573. sodipodi:role="line"
  2574. id="tspan5265-8-6-4">after(sccd_yield())</tspan></text>
  2575. <g
  2576. id="g6618"
  2577. transform="translate(-1.8555907,389.53613)">
  2578. <g
  2579. transform="translate(124.37211,-101.80217)"
  2580. id="g4430-0">
  2581. <rect
  2582. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2583. id="rect4136-1-4-5-8"
  2584. width="69.67131"
  2585. height="18"
  2586. x="42.759964"
  2587. y="-58.503708"
  2588. ry="7.0000005"
  2589. rx="7" />
  2590. <path
  2591. sodipodi:nodetypes="cc"
  2592. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2593. d="m 42.743322,-48.52456 69.757048,0"
  2594. id="path4138-6-8-6-6"
  2595. inkscape:connector-curvature="0" />
  2596. <text
  2597. sodipodi:linespacing="125%"
  2598. id="text4152-8-8-5-38"
  2599. y="-51.219917"
  2600. x="63.762592"
  2601. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2602. xml:space="preserve"><tspan
  2603. y="-51.219917"
  2604. x="63.762592"
  2605. id="tspan4154-9-8-9-6"
  2606. sodipodi:role="line">Started</tspan></text>
  2607. </g>
  2608. </g>
  2609. <path
  2610. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker6633)"
  2611. d="m 201.13446,247.48025 0,18.75"
  2612. id="path6625"
  2613. inkscape:connector-curvature="0"
  2614. sodipodi:nodetypes="cc" />
  2615. <g
  2616. id="g7654"
  2617. transform="translate(-17.183675,389.53613)">
  2618. <rect
  2619. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2620. id="rect4136-1-4-5-7-3"
  2621. width="105.24848"
  2622. height="60.779957"
  2623. x="124.64892"
  2624. y="-82.003708"
  2625. ry="7.0000005"
  2626. rx="7"
  2627. transform="translate(130.02223,0.79422)" />
  2628. <path
  2629. sodipodi:nodetypes="cc"
  2630. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2631. d="m 124.63226,-72.024559 104.92263,0"
  2632. id="path4138-6-8-6-0-8"
  2633. inkscape:connector-curvature="0"
  2634. transform="translate(130.02223,0.79422)" />
  2635. <text
  2636. sodipodi:linespacing="125%"
  2637. id="text4152-8-8-5-0-7"
  2638. y="-74.469902"
  2639. x="139.19272"
  2640. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2641. xml:space="preserve"
  2642. transform="translate(130.02223,0.79422)"><tspan
  2643. style="font-weight:bold"
  2644. y="-74.469902"
  2645. x="139.19272"
  2646. id="tspan4154-9-8-9-84-5"
  2647. sodipodi:role="line">CheckTermination</tspan></text>
  2648. <g
  2649. transform="matrix(0,1,-1,0,206.71946,-158.80831)"
  2650. id="g4426-3">
  2651. <circle
  2652. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2653. id="path9238-00"
  2654. cx="97.341057"
  2655. cy="-68.843407"
  2656. r="3" />
  2657. <path
  2658. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-36)"
  2659. d="m 100.5837,-68.843422 12.86307,0"
  2660. id="path9240-9"
  2661. inkscape:connector-curvature="0"
  2662. sodipodi:nodetypes="cc" />
  2663. </g>
  2664. <g
  2665. transform="translate(94.373529,116.66277)"
  2666. id="g6618-8">
  2667. <rect
  2668. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2669. id="rect4136-1-4-5-8-2"
  2670. width="88.763191"
  2671. height="18"
  2672. x="167.13208"
  2673. y="-160.30588"
  2674. ry="7.0000005"
  2675. rx="7" />
  2676. <path
  2677. sodipodi:nodetypes="cc"
  2678. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2679. d="m 167.11543,-150.32673 88.49538,0"
  2680. id="path4138-6-8-6-6-3"
  2681. inkscape:connector-curvature="0" />
  2682. <text
  2683. sodipodi:linespacing="125%"
  2684. id="text4152-8-8-5-38-7"
  2685. y="-153.02209"
  2686. x="172.79968"
  2687. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2688. xml:space="preserve"><tspan
  2689. y="-153.02209"
  2690. x="172.79968"
  2691. id="tspan4154-9-8-9-6-2"
  2692. sodipodi:role="line">MacroStepProcessed</tspan></text>
  2693. </g>
  2694. </g>
  2695. <g
  2696. transform="translate(24.026911,-28.115534)"
  2697. id="g7695">
  2698. <g
  2699. id="g4430-2-9-9"
  2700. transform="translate(-16.606243,523.33321)">
  2701. <rect
  2702. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2703. id="rect4136-1-4-5-7-0-6"
  2704. width="89.921326"
  2705. height="16.229185"
  2706. x="125.11331"
  2707. y="-75.253708"
  2708. ry="7.0000005"
  2709. rx="7" />
  2710. <path
  2711. sodipodi:nodetypes="cc"
  2712. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2713. d="m 125.09665,-65.274559 89.25708,0"
  2714. id="path4138-6-8-6-0-9-4"
  2715. inkscape:connector-curvature="0" />
  2716. <text
  2717. sodipodi:linespacing="125%"
  2718. id="text4152-8-8-5-0-2-0"
  2719. y="-67.969902"
  2720. x="155.25525"
  2721. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2722. xml:space="preserve"><tspan
  2723. y="-67.969902"
  2724. x="155.25525"
  2725. id="tspan4154-9-8-9-84-9-9"
  2726. sodipodi:role="line">Stopped</tspan></text>
  2727. </g>
  2728. </g>
  2729. <path
  2730. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker7710)"
  2731. d="m 244.4986,352.34416 -52.67945,0 0,65.76092"
  2732. id="path7702"
  2733. inkscape:connector-curvature="0"
  2734. sodipodi:nodetypes="ccc" />
  2735. <rect
  2736. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2737. id="rect6128-5-3-7"
  2738. width="48.130611"
  2739. height="11.130201"
  2740. x="168.9857"
  2741. y="397.41116" />
  2742. <text
  2743. sodipodi:linespacing="125%"
  2744. id="text4528-4-6-0-8"
  2745. y="405.07544"
  2746. x="112.16537"
  2747. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2748. xml:space="preserve"><tspan
  2749. style="font-size:6.25px"
  2750. y="405.07544"
  2751. x="112.16537"
  2752. id="tspan4530-1-4-4-5"
  2753. sodipodi:role="line">[IN(/SimulationState/Stopped)]</tspan></text>
  2754. <g
  2755. id="g9626"
  2756. transform="translate(-51.263004,384.09359)">
  2757. <rect
  2758. rx="6.999999"
  2759. ry="6.9999995"
  2760. y="39.390678"
  2761. x="361.72116"
  2762. height="17.63299"
  2763. width="101.24539"
  2764. id="rect4136-1-4-5-7-00-1-13"
  2765. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2766. <path
  2767. inkscape:connector-curvature="0"
  2768. id="path4138-6-8-6-0-4-4-0"
  2769. d="m 361.70451,49.369825 101.18474,0"
  2770. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2771. sodipodi:nodetypes="cc" />
  2772. <text
  2773. xml:space="preserve"
  2774. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2775. x="375.57816"
  2776. y="46.674477"
  2777. id="text4152-8-8-5-0-0-1-4"
  2778. sodipodi:linespacing="125%"><tspan
  2779. sodipodi:role="line"
  2780. id="tspan4154-9-8-9-84-1-8-3"
  2781. x="375.57816"
  2782. y="46.674477">MacroStepPrepared</tspan></text>
  2783. </g>
  2784. <g
  2785. id="g9632"
  2786. transform="translate(213.11313,335.45931)">
  2787. <rect
  2788. rx="6.999999"
  2789. ry="6.9999995"
  2790. y="126.37762"
  2791. x="97.345024"
  2792. height="17.63299"
  2793. width="101.24539"
  2794. id="rect4136-1-4-5-7-00-1-13-6"
  2795. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2796. <path
  2797. inkscape:connector-curvature="0"
  2798. id="path4138-6-8-6-0-4-4-0-6"
  2799. d="m 97.32836,136.35676 101.18473,0"
  2800. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2801. sodipodi:nodetypes="cc" />
  2802. <text
  2803. xml:space="preserve"
  2804. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2805. x="110.49154"
  2806. y="133.66141"
  2807. id="text4152-8-8-5-0-0-1-4-0"
  2808. sodipodi:linespacing="125%"><tspan
  2809. sodipodi:role="line"
  2810. id="tspan4154-9-8-9-84-1-8-3-9"
  2811. x="110.49154"
  2812. y="133.66141">MicroStepProcessed</tspan></text>
  2813. </g>
  2814. <g
  2815. id="g9638"
  2816. transform="translate(453.58578,377.06512)">
  2817. <g
  2818. id="g9671"
  2819. transform="translate(-255.97264,9.8994944)">
  2820. <rect
  2821. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate"
  2822. id="rect4136-1-4-5-7-00-1-13-6-4"
  2823. width="101.24539"
  2824. height="17.63299"
  2825. x="112.84502"
  2826. y="153.87761"
  2827. ry="6.9999995"
  2828. rx="6.999999" />
  2829. <path
  2830. sodipodi:nodetypes="cc"
  2831. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2832. d="m 112.82836,163.85676 101.18472,0"
  2833. id="path4138-6-8-6-0-4-4-0-6-5"
  2834. inkscape:connector-curvature="0" />
  2835. <text
  2836. sodipodi:linespacing="125%"
  2837. id="text4152-8-8-5-0-0-1-4-0-4"
  2838. y="161.16141"
  2839. x="127.93978"
  2840. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2841. xml:space="preserve"><tspan
  2842. y="161.16141"
  2843. x="127.93978"
  2844. id="tspan4154-9-8-9-84-1-8-3-9-4"
  2845. sodipodi:role="line">MicroStepPrepared</tspan></text>
  2846. </g>
  2847. </g>
  2848. <g
  2849. id="g4426-0"
  2850. transform="matrix(1,0,0,-1,187.51391,359.69427)">
  2851. <circle
  2852. r="3"
  2853. cy="-68.843407"
  2854. cx="97.341057"
  2855. id="path9238-8"
  2856. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:1;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2857. <path
  2858. sodipodi:nodetypes="cc"
  2859. inkscape:connector-curvature="0"
  2860. id="path9240-2"
  2861. d="m 100.5837,-68.843422 22.05546,0"
  2862. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9248-6-09)" />
  2863. </g>
  2864. <g
  2865. id="g9638-4"
  2866. transform="translate(197.61314,346.31198)">
  2867. <rect
  2868. rx="6.999999"
  2869. ry="6.9999995"
  2870. y="153.87761"
  2871. x="112.84502"
  2872. height="17.63299"
  2873. width="101.24539"
  2874. id="rect4136-1-4-5-7-00-1-13-6-4-0"
  2875. style="color:#000000;clip-rule:nonzero;display:inline;overflow:visible;visibility:visible;opacity:1;isolation:auto;mix-blend-mode:normal;color-interpolation:sRGB;color-interpolation-filters:linearRGB;solid-color:#000000;solid-opacity:1;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1;color-rendering:auto;image-rendering:auto;shape-rendering:auto;text-rendering:auto;enable-background:accumulate" />
  2876. <path
  2877. inkscape:connector-curvature="0"
  2878. id="path4138-6-8-6-0-4-4-0-6-5-6"
  2879. d="m 112.82836,163.85676 101.18472,0"
  2880. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1"
  2881. sodipodi:nodetypes="cc" />
  2882. <text
  2883. xml:space="preserve"
  2884. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2885. x="121.83868"
  2886. y="161.16141"
  2887. id="text4152-8-8-5-0-0-1-4-0-4-9"
  2888. sodipodi:linespacing="125%"><tspan
  2889. sodipodi:role="line"
  2890. id="tspan4154-9-8-9-84-1-8-3-9-4-1"
  2891. x="121.83868"
  2892. y="161.16141">PreMicroStepPrepared</tspan></text>
  2893. </g>
  2894. <path
  2895. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9685)"
  2896. d="m 361.08085,440.6872 0,19.49999"
  2897. id="path9677"
  2898. inkscape:connector-curvature="0" />
  2899. <path
  2900. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9685-1)"
  2901. d="m 361.08085,479.64369 0,18.87499"
  2902. id="path9677-6"
  2903. inkscape:connector-curvature="0"
  2904. sodipodi:nodetypes="cc" />
  2905. <path
  2906. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker9685-1-0)"
  2907. d="m 361.08085,517.95619 0,21.17309"
  2908. id="path9677-6-2"
  2909. inkscape:connector-curvature="0"
  2910. sodipodi:nodetypes="cc" />
  2911. <path
  2912. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker11617)"
  2913. d="m 411.54697,546.67476 17.32412,0 0,-80.17299 -15.72057,0"
  2914. id="path11609"
  2915. inkscape:connector-curvature="0"
  2916. sodipodi:nodetypes="cccc" />
  2917. <path
  2918. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker12882)"
  2919. d="m 269.38446,363.73025 0,39.04226"
  2920. id="path12874"
  2921. inkscape:connector-curvature="0"
  2922. sodipodi:nodetypes="cc" />
  2923. <rect
  2924. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2925. id="rect6128-1"
  2926. width="144.13062"
  2927. height="24.369165"
  2928. x="241.2113"
  2929. y="372.31342" />
  2930. <text
  2931. sodipodi:linespacing="125%"
  2932. id="text4528-4-6-8"
  2933. y="378.36774"
  2934. x="241.66101"
  2935. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2936. xml:space="preserve"><tspan
  2937. style="font-size:6.25px"
  2938. y="378.36774"
  2939. x="241.66101"
  2940. id="tspan4530-1-4-5"
  2941. sodipodi:role="line">[ IN(/SimulationState/Running/Continuous)</tspan><tspan
  2942. style="font-size:6.25px"
  2943. y="386.18024"
  2944. x="241.66101"
  2945. sodipodi:role="line"
  2946. id="tspan6634-0">or IN(/SimulationState/Running/BigStep)</tspan><tspan
  2947. style="font-size:6.25px"
  2948. y="393.99274"
  2949. x="241.66101"
  2950. sodipodi:role="line"
  2951. id="tspan7618-6">or IN(/SimulationState/Running/SmallStep)]</tspan></text>
  2952. <text
  2953. xml:space="preserve"
  2954. style="font-style:normal;font-weight:normal;font-size:9.1942749px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2955. x="343.91956"
  2956. y="60.109203"
  2957. id="text13663"
  2958. sodipodi:linespacing="125%"><tspan
  2959. sodipodi:role="line"
  2960. id="tspan13665"
  2961. x="343.91956"
  2962. y="60.109203"></tspan></text>
  2963. <rect
  2964. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2965. id="rect6128-5-3-3"
  2966. width="48.130611"
  2967. height="11.130201"
  2968. x="349.11243"
  2969. y="443.37311" />
  2970. <text
  2971. sodipodi:linespacing="125%"
  2972. id="text4528-4-9-9-6-8"
  2973. y="450.97519"
  2974. x="327.69617"
  2975. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2976. xml:space="preserve"><tspan
  2977. style="font-size:6.25px"
  2978. y="450.97519"
  2979. x="327.69617"
  2980. sodipodi:role="line"
  2981. id="tspan5265-8-3-9">self.selectTransition()</tspan></text>
  2982. <rect
  2983. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  2984. id="rect6128-5-3-3-2"
  2985. width="48.130611"
  2986. height="11.130201"
  2987. x="352.10944"
  2988. y="481.66513" />
  2989. <text
  2990. sodipodi:linespacing="125%"
  2991. id="text4528-4-9-9-6-8-4"
  2992. y="489.62079"
  2993. x="271.44571"
  2994. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  2995. xml:space="preserve"><tspan
  2996. style="font-size:6.25px"
  2997. y="489.62079"
  2998. x="271.44571"
  2999. sodipodi:role="line"
  3000. id="tspan5265-8-3-9-4">after(sccd_yield() * 2) [self.transitionSelected()]</tspan></text>
  3001. <rect
  3002. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  3003. id="rect6128-5-3-3-2-7"
  3004. width="48.130615"
  3005. height="11.130205"
  3006. x="343.32544"
  3007. y="521.49518" />
  3008. <text
  3009. sodipodi:linespacing="125%"
  3010. id="text4528-4-9-9-6-8-4-9"
  3011. y="137.28078"
  3012. x="330.77942"
  3013. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  3014. xml:space="preserve"><tspan
  3015. style="font-size:6.25px"
  3016. y="137.28078"
  3017. x="330.77942"
  3018. sodipodi:role="line"
  3019. id="tspan13754" /></text>
  3020. <text
  3021. sodipodi:linespacing="125%"
  3022. id="text4528-4-9-9-6-8-4-8"
  3023. y="435.90311"
  3024. x="-543.79926"
  3025. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  3026. xml:space="preserve"
  3027. transform="matrix(0,-1,1,0,0,0)"><tspan
  3028. style="font-size:6.25px"
  3029. y="435.90311"
  3030. x="-543.79926"
  3031. sodipodi:role="line"
  3032. id="tspan5265-8-3-9-4-9">/ self.executeStep()</tspan><tspan
  3033. style="font-size:6.25px"
  3034. y="443.71561"
  3035. x="-543.79926"
  3036. sodipodi:role="line"
  3037. id="tspan13935"> self.selectTransition(),</tspan><tspan
  3038. style="font-size:6.25px"
  3039. y="451.52811"
  3040. x="-543.79926"
  3041. sodipodi:role="line"
  3042. id="tspan13937"> small_steo_done</tspan></text>
  3043. <text
  3044. sodipodi:linespacing="125%"
  3045. id="text4528-4-9-9-6-8-4-2"
  3046. y="528.78906"
  3047. x="300.46573"
  3048. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  3049. xml:space="preserve"><tspan
  3050. style="font-size:6.25px"
  3051. y="528.78906"
  3052. x="300.46573"
  3053. sodipodi:role="line"
  3054. id="tspan5265-8-3-9-4-7">[INSTATE(/SimulationState/Running)]</tspan></text>
  3055. <path
  3056. style="fill:none;fill-rule:evenodd;stroke:#000000;stroke-width:0.69999999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;marker-end:url(#marker14097)"
  3057. d="m 310.43071,466.96944 -84.49926,0 0,-104.6518 10.25305,0"
  3058. id="path14089"
  3059. inkscape:connector-curvature="0" />
  3060. <rect
  3061. style="fill:#ffffff;fill-opacity:1;stroke:none;stroke-width:1;stroke-linecap:square;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0"
  3062. id="rect6128-5-3-7-4"
  3063. width="48.130611"
  3064. height="11.130201"
  3065. x="205.04814"
  3066. y="453.97971" />
  3067. <text
  3068. sodipodi:linespacing="125%"
  3069. id="text4528-4-9-9-6-8-4-3"
  3070. y="461.30569"
  3071. x="203.76889"
  3072. style="font-style:normal;font-weight:normal;font-size:7.5px;line-height:125%;font-family:sans-serif;letter-spacing:0px;word-spacing:0px;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
  3073. xml:space="preserve"><tspan
  3074. style="font-size:6.25px"
  3075. y="461.30569"
  3076. x="203.76889"
  3077. sodipodi:role="line"
  3078. id="tspan5265-8-3-9-4-5">[not self.transitionSelected()]</tspan></text>
  3079. </g>
  3080. </svg>