statechart_enabledness.svg 7.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105
  1. <?xml version="1.0" encoding="UTF-8" standalone="no"?>
  2. <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
  3. "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
  4. <!-- Generated by graphviz version 2.40.1 (20161225.0304)
  5. -->
  6. <!-- Title: state transitions Pages: 1 -->
  7. <svg width="491pt" height="412pt"
  8. viewBox="0.00 0.00 491.00 412.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
  9. <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 408)">
  10. <title>state transitions</title>
  11. <polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-408 487,-408 487,4 -4,4"/>
  12. <g id="clust1" class="cluster">
  13. <title>cluster__p</title>
  14. <path fill="none" stroke="#000000" stroke-width="2" d="M20,-8C20,-8 463,-8 463,-8 469,-8 475,-14 475,-20 475,-20 475,-353 475,-353 475,-359 469,-365 463,-365 463,-365 20,-365 20,-365 14,-365 8,-359 8,-353 8,-353 8,-20 8,-20 8,-14 14,-8 20,-8"/>
  15. <text text-anchor="start" x="238.1646" y="-346.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">p</text>
  16. </g>
  17. <g id="clust2" class="cluster">
  18. <title>cluster__p_status</title>
  19. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="357,-16 357,-327 467,-327 467,-16 357,-16"/>
  20. <text text-anchor="start" x="395.9944" y="-308.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">status</text>
  21. </g>
  22. <g id="clust3" class="cluster">
  23. <title>cluster__p_increment</title>
  24. <polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="24,-152 24,-327 349,-327 349,-152 24,-152"/>
  25. <text text-anchor="start" x="160.1648" y="-308.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">increment</text>
  26. </g>
  27. <!-- __initial -->
  28. <g id="node1" class="node">
  29. <title>__initial</title>
  30. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="16" cy="-398.5" rx="5.5" ry="5.5"/>
  31. </g>
  32. <!-- _p -->
  33. <!-- __initial&#45;&gt;_p -->
  34. <g id="edge1" class="edge">
  35. <title>__initial&#45;&gt;_p</title>
  36. <path fill="none" stroke="#000000" d="M16,-392.9533C16,-388.7779 16,-382.5043 16,-375.0332"/>
  37. <polygon fill="#000000" stroke="#000000" points="19.5001,-374.9971 16,-364.9971 12.5001,-374.9972 19.5001,-374.9971"/>
  38. <text text-anchor="middle" x="17.3895" y="-376" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  39. </g>
  40. <!-- _p_status -->
  41. <!-- _p_status_initial -->
  42. <g id="node4" class="node">
  43. <title>_p_status_initial</title>
  44. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="412" cy="-283.5" rx="5.5" ry="5.5"/>
  45. </g>
  46. <!-- _p_status_counting -->
  47. <g id="node6" class="node">
  48. <title>_p_status_counting</title>
  49. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="445.5,-196 378.5,-196 378.5,-160 445.5,-160 445.5,-196"/>
  50. <text text-anchor="start" x="389.8242" y="-174.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">counting</text>
  51. <path fill="none" stroke="#000000" stroke-width="2" d="M390.8333,-161C390.8333,-161 433.1667,-161 433.1667,-161 438.8333,-161 444.5,-166.6667 444.5,-172.3333 444.5,-172.3333 444.5,-183.6667 444.5,-183.6667 444.5,-189.3333 438.8333,-195 433.1667,-195 433.1667,-195 390.8333,-195 390.8333,-195 385.1667,-195 379.5,-189.3333 379.5,-183.6667 379.5,-183.6667 379.5,-172.3333 379.5,-172.3333 379.5,-166.6667 385.1667,-161 390.8333,-161"/>
  52. </g>
  53. <!-- _p_status_initial&#45;&gt;_p_status_counting -->
  54. <g id="edge2" class="edge">
  55. <title>_p_status_initial&#45;&gt;_p_status_counting</title>
  56. <path fill="none" stroke="#000000" d="M412,-277.8288C412,-273.1736 412,-266.4097 412,-260.5 412,-260.5 412,-260.5 412,-213.5 412,-211.1079 412,-208.6252 412,-206.1342"/>
  57. <polygon fill="#000000" stroke="#000000" points="415.5001,-206.0597 412,-196.0598 408.5001,-206.0598 415.5001,-206.0597"/>
  58. <text text-anchor="middle" x="413.3895" y="-234" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  59. </g>
  60. <!-- _p_status_done -->
  61. <g id="node5" class="node">
  62. <title>_p_status_done</title>
  63. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="459,-70 365,-70 365,-24 459,-24 459,-70"/>
  64. <text text-anchor="start" x="398.6584" y="-53.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">done</text>
  65. <text text-anchor="start" x="370.8364" y="-33.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">entry ^out.done</text>
  66. <polygon fill="#000000" stroke="#000000" points="365,-47 365,-47 459,-47 459,-47 365,-47"/>
  67. <path fill="none" stroke="#000000" stroke-width="2" d="M378,-25C378,-25 446,-25 446,-25 452,-25 458,-31 458,-37 458,-37 458,-57 458,-57 458,-63 452,-69 446,-69 446,-69 378,-69 378,-69 372,-69 366,-63 366,-57 366,-57 366,-37 366,-37 366,-31 372,-25 378,-25"/>
  68. </g>
  69. <!-- _p_status_counting&#45;&gt;_p_status_done -->
  70. <g id="edge3" class="edge">
  71. <title>_p_status_counting&#45;&gt;_p_status_done</title>
  72. <path fill="none" stroke="#000000" d="M412,-159.7983C412,-152.007 412,-142.8073 412,-134.5 412,-134.5 412,-134.5 412,-87.5 412,-85.127 412,-82.6757 412,-80.2081"/>
  73. <polygon fill="#000000" stroke="#000000" points="415.5001,-80.1306 412,-70.1306 408.5001,-80.1306 415.5001,-80.1306"/>
  74. <text text-anchor="start" x="412" y="-108" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">[i == 2] &#160;&#160;</text>
  75. </g>
  76. <!-- _p_increment -->
  77. <!-- _p_increment_initial -->
  78. <g id="node8" class="node">
  79. <title>_p_increment_initial</title>
  80. <ellipse fill="#000000" stroke="#000000" stroke-width="2" cx="60" cy="-283.5" rx="5.5" ry="5.5"/>
  81. </g>
  82. <!-- _p_increment_a -->
  83. <g id="node9" class="node">
  84. <title>_p_increment_a</title>
  85. <polygon fill="transparent" stroke="transparent" stroke-width="2" points="88,-196 32,-196 32,-160 88,-160 88,-196"/>
  86. <text text-anchor="start" x="56.6646" y="-174.2" font-family="Helvetica,sans-Serif" font-size="12.00" fill="#000000">a</text>
  87. <path fill="none" stroke="#000000" stroke-width="2" d="M44.3333,-161C44.3333,-161 75.6667,-161 75.6667,-161 81.3333,-161 87,-166.6667 87,-172.3333 87,-172.3333 87,-183.6667 87,-183.6667 87,-189.3333 81.3333,-195 75.6667,-195 75.6667,-195 44.3333,-195 44.3333,-195 38.6667,-195 33,-189.3333 33,-183.6667 33,-183.6667 33,-172.3333 33,-172.3333 33,-166.6667 38.6667,-161 44.3333,-161"/>
  88. </g>
  89. <!-- _p_increment_initial&#45;&gt;_p_increment_a -->
  90. <g id="edge4" class="edge">
  91. <title>_p_increment_initial&#45;&gt;_p_increment_a</title>
  92. <path fill="none" stroke="#000000" d="M60,-277.8288C60,-273.1736 60,-266.4097 60,-260.5 60,-260.5 60,-260.5 60,-213.5 60,-211.1079 60,-208.6252 60,-206.1342"/>
  93. <polygon fill="#000000" stroke="#000000" points="63.5001,-206.0597 60,-196.0598 56.5001,-206.0598 63.5001,-206.0597"/>
  94. <text text-anchor="middle" x="61.3895" y="-234" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000"> </text>
  95. </g>
  96. <!-- _p_increment_a&#45;&gt;_p_increment_a -->
  97. <g id="edge5" class="edge">
  98. <title>_p_increment_a&#45;&gt;_p_increment_a</title>
  99. <path fill="none" stroke="#000000" d="M88.0183,-182.8247C99.888,-183.1883 110,-181.5801 110,-178 110,-175.5387 105.2205,-174.0094 98.3762,-173.4121"/>
  100. <polygon fill="#000000" stroke="#000000" points="98.0957,-169.9049 88.0183,-173.1753 97.9356,-176.903 98.0957,-169.9049"/>
  101. <text text-anchor="start" x="110" y="-175" font-family="Helvetica,sans-Serif" font-size="10.00" fill="#000000">e [not INSTATE([&quot;/p/status/done&quot;])]^out.inc /i = i + 1 &#160;&#160;</text>
  102. </g>
  103. </g>
  104. </svg>