MemoryProtocol.drawio 7.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394
  1. <mxfile host="Electron" agent="Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/27.0.2 Chrome/134.0.6998.205 Electron/35.3.0 Safari/537.36" version="27.0.2">
  2. <diagram name="Page-1" id="_Pq75Nb9tt9biYqIL6tM">
  3. <mxGraphModel dx="2455" dy="1008" grid="0" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="1169" pageHeight="827" math="0" shadow="0">
  4. <root>
  5. <mxCell id="0" />
  6. <mxCell id="1" parent="0" />
  7. <mxCell id="C35a7uGTBZMrMqh33FGQ-1" value="MemoryProtocol" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  8. <mxGeometry x="430" y="74" width="310" height="340" as="geometry" />
  9. </mxCell>
  10. <mxCell id="C35a7uGTBZMrMqh33FGQ-2" value="MemoryProtocol" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=1;whiteSpace=wrap;" vertex="1" parent="1">
  11. <mxGeometry x="548" y="114" width="172" height="290" as="geometry" />
  12. </mxCell>
  13. <mxCell id="C35a7uGTBZMrMqh33FGQ-3" value="RegionAssign" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=1;whiteSpace=wrap;" vertex="1" parent="1">
  14. <mxGeometry x="440" y="114" width="100" height="210" as="geometry" />
  15. </mxCell>
  16. <mxCell id="C35a7uGTBZMrMqh33FGQ-4" value="" style="ellipse;html=1;shape=startState;fillColor=#000000;strokeColor=#ff0000;" vertex="1" parent="1">
  17. <mxGeometry x="480" y="144" width="20" height="20" as="geometry" />
  18. </mxCell>
  19. <mxCell id="C35a7uGTBZMrMqh33FGQ-5" value="" style="ellipse;html=1;shape=startState;fillColor=#000000;strokeColor=#ff0000;" vertex="1" parent="1">
  20. <mxGeometry x="622" y="144" width="20" height="20" as="geometry" />
  21. </mxCell>
  22. <mxCell id="C35a7uGTBZMrMqh33FGQ-6" value="Assigned" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  23. <mxGeometry x="455" y="284" width="70" height="30" as="geometry" />
  24. </mxCell>
  25. <mxCell id="C35a7uGTBZMrMqh33FGQ-7" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-9" target="C35a7uGTBZMrMqh33FGQ-6">
  26. <mxGeometry relative="1" as="geometry" />
  27. </mxCell>
  28. <mxCell id="C35a7uGTBZMrMqh33FGQ-8" value="&amp;nbsp;/ x = 1" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="C35a7uGTBZMrMqh33FGQ-7">
  29. <mxGeometry x="-0.0989" y="1" relative="1" as="geometry">
  30. <mxPoint x="-1" as="offset" />
  31. </mxGeometry>
  32. </mxCell>
  33. <mxCell id="C35a7uGTBZMrMqh33FGQ-9" value="Initial" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  34. <mxGeometry x="455" y="184" width="70" height="30" as="geometry" />
  35. </mxCell>
  36. <mxCell id="C35a7uGTBZMrMqh33FGQ-10" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.512;exitY=0.703;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-4" target="C35a7uGTBZMrMqh33FGQ-9">
  37. <mxGeometry width="50" height="50" relative="1" as="geometry">
  38. <mxPoint x="970" y="274" as="sourcePoint" />
  39. <mxPoint x="1020" y="224" as="targetPoint" />
  40. </mxGeometry>
  41. </mxCell>
  42. <mxCell id="C35a7uGTBZMrMqh33FGQ-11" value="Initial" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  43. <mxGeometry x="597" y="184" width="70" height="30" as="geometry" />
  44. </mxCell>
  45. <mxCell id="C35a7uGTBZMrMqh33FGQ-12" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.521;exitY=0.678;exitDx=0;exitDy=0;exitPerimeter=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-5" target="C35a7uGTBZMrMqh33FGQ-11">
  46. <mxGeometry width="50" height="50" relative="1" as="geometry">
  47. <mxPoint x="472" y="168" as="sourcePoint" />
  48. <mxPoint x="472" y="194" as="targetPoint" />
  49. </mxGeometry>
  50. </mxCell>
  51. <mxCell id="C35a7uGTBZMrMqh33FGQ-13" value="SmallStep" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  52. <mxGeometry x="557" y="284" width="70" height="30" as="geometry" />
  53. </mxCell>
  54. <mxCell id="C35a7uGTBZMrMqh33FGQ-14" style="edgeStyle=orthogonalEdgeStyle;rounded=0;orthogonalLoop=1;jettySize=auto;html=1;exitX=0.5;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-15" target="C35a7uGTBZMrMqh33FGQ-16">
  55. <mxGeometry relative="1" as="geometry" />
  56. </mxCell>
  57. <mxCell id="C35a7uGTBZMrMqh33FGQ-15" value="BigStep" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  58. <mxGeometry x="640" y="284" width="70" height="30" as="geometry" />
  59. </mxCell>
  60. <mxCell id="C35a7uGTBZMrMqh33FGQ-16" value="ComboStep" style="html=1;align=center;verticalAlign=top;rounded=1;absoluteArcSize=1;arcSize=10;dashed=0;whiteSpace=wrap;" vertex="1" parent="1">
  61. <mxGeometry x="640" y="364" width="70" height="30" as="geometry" />
  62. </mxCell>
  63. <mxCell id="C35a7uGTBZMrMqh33FGQ-17" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.75;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-11" target="C35a7uGTBZMrMqh33FGQ-15">
  64. <mxGeometry width="50" height="50" relative="1" as="geometry">
  65. <mxPoint x="882" y="274" as="sourcePoint" />
  66. <mxPoint x="932" y="224" as="targetPoint" />
  67. </mxGeometry>
  68. </mxCell>
  69. <mxCell id="C35a7uGTBZMrMqh33FGQ-18" value="[x == 0]" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="C35a7uGTBZMrMqh33FGQ-17">
  70. <mxGeometry x="-0.1558" y="-2" relative="1" as="geometry">
  71. <mxPoint x="6" y="4" as="offset" />
  72. </mxGeometry>
  73. </mxCell>
  74. <mxCell id="C35a7uGTBZMrMqh33FGQ-19" value="" style="endArrow=classic;html=1;rounded=0;exitX=0.25;exitY=1;exitDx=0;exitDy=0;entryX=0.5;entryY=0;entryDx=0;entryDy=0;" edge="1" parent="1" source="C35a7uGTBZMrMqh33FGQ-11" target="C35a7uGTBZMrMqh33FGQ-13">
  75. <mxGeometry width="50" height="50" relative="1" as="geometry">
  76. <mxPoint x="882" y="274" as="sourcePoint" />
  77. <mxPoint x="932" y="224" as="targetPoint" />
  78. </mxGeometry>
  79. </mxCell>
  80. <mxCell id="C35a7uGTBZMrMqh33FGQ-20" value="[x == 1]" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="C35a7uGTBZMrMqh33FGQ-19">
  81. <mxGeometry x="-0.1338" y="-2" relative="1" as="geometry">
  82. <mxPoint x="-4" y="5" as="offset" />
  83. </mxGeometry>
  84. </mxCell>
  85. <mxCell id="C35a7uGTBZMrMqh33FGQ-21" value="[x == 1]" style="edgeLabel;html=1;align=center;verticalAlign=middle;resizable=0;points=[];" vertex="1" connectable="0" parent="1">
  86. <mxGeometry x="699.9975469379827" y="333.99565908277395" as="geometry">
  87. <mxPoint x="-24" y="-1" as="offset" />
  88. </mxGeometry>
  89. </mxCell>
  90. </root>
  91. </mxGraphModel>
  92. </diagram>
  93. </mxfile>