model-while.dot.svg (4173B)
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.50.0 (20211204.2007) 5 --> 6 <!-- Title: g Pages: 1 --> 7 <svg width="563pt" height="59pt" 8 viewBox="0.00 0.00 563.00 59.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 55)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-55 559,-55 559,4 -4,4"/> 12 <!-- 1 --> 13 <g id="node1" class="node"> 14 <title>1</title> 15 <ellipse fill="none" stroke="black" cx="43" cy="-33" rx="27" ry="18"/> 16 <text text-anchor="middle" x="43" y="-29.3" font-family="Times,serif" font-size="14.00">1</text> 17 <text text-anchor="middle" x="8" y="-3.8" font-family="Times,serif" font-size="14.00">[p]</text> 18 </g> 19 <!-- 2 --> 20 <g id="node2" class="node"> 21 <title>2</title> 22 <ellipse fill="none" stroke="black" cx="140" cy="-33" rx="27" ry="18"/> 23 <text text-anchor="middle" x="140" y="-29.3" font-family="Times,serif" font-size="14.00">2</text> 24 <text text-anchor="middle" x="105" y="-3.8" font-family="Times,serif" font-size="14.00">[p]</text> 25 </g> 26 <!-- 1->2 --> 27 <g id="edge1" class="edge"> 28 <title>1->2</title> 29 <path fill="none" stroke="black" d="M70.21,-33C80.28,-33 91.96,-33 102.81,-33"/> 30 <polygon fill="black" stroke="black" points="102.87,-36.5 112.87,-33 102.87,-29.5 102.87,-36.5"/> 31 <text text-anchor="middle" x="91.5" y="-36.8" font-family="Times,serif" font-size="14.00">a</text> 32 </g> 33 <!-- 3 --> 34 <g id="node3" class="node"> 35 <title>3</title> 36 <ellipse fill="none" stroke="black" cx="237" cy="-33" rx="27" ry="18"/> 37 <text text-anchor="middle" x="237" y="-29.3" font-family="Times,serif" font-size="14.00">3</text> 38 <text text-anchor="middle" x="202" y="-3.8" font-family="Times,serif" font-size="14.00">[p]</text> 39 </g> 40 <!-- 2->3 --> 41 <g id="edge2" class="edge"> 42 <title>2->3</title> 43 <path fill="none" stroke="black" d="M167.21,-33C177.28,-33 188.96,-33 199.81,-33"/> 44 <polygon fill="black" stroke="black" points="199.87,-36.5 209.87,-33 199.87,-29.5 199.87,-36.5"/> 45 <text text-anchor="middle" x="188.5" y="-36.8" font-family="Times,serif" font-size="14.00">a</text> 46 </g> 47 <!-- 4 --> 48 <g id="node4" class="node"> 49 <title>4</title> 50 <ellipse fill="none" stroke="black" cx="334" cy="-33" rx="27" ry="18"/> 51 <text text-anchor="middle" x="334" y="-29.3" font-family="Times,serif" font-size="14.00">4</text> 52 <text text-anchor="middle" x="299" y="-3.8" font-family="Times,serif" font-size="14.00">[p]</text> 53 </g> 54 <!-- 3->4 --> 55 <g id="edge3" class="edge"> 56 <title>3->4</title> 57 <path fill="none" stroke="black" d="M264.21,-33C274.28,-33 285.96,-33 296.81,-33"/> 58 <polygon fill="black" stroke="black" points="296.87,-36.5 306.87,-33 296.87,-29.5 296.87,-36.5"/> 59 <text text-anchor="middle" x="285.5" y="-36.8" font-family="Times,serif" font-size="14.00">a</text> 60 </g> 61 <!-- 5 --> 62 <g id="node5" class="node"> 63 <title>5</title> 64 <ellipse fill="none" stroke="black" cx="431" cy="-33" rx="27" ry="18"/> 65 <text text-anchor="middle" x="431" y="-29.3" font-family="Times,serif" font-size="14.00">5</text> 66 </g> 67 <!-- 4->5 --> 68 <g id="edge4" class="edge"> 69 <title>4->5</title> 70 <path fill="none" stroke="black" d="M361.21,-33C371.28,-33 382.96,-33 393.81,-33"/> 71 <polygon fill="black" stroke="black" points="393.87,-36.5 403.87,-33 393.87,-29.5 393.87,-36.5"/> 72 <text text-anchor="middle" x="382.5" y="-36.8" font-family="Times,serif" font-size="14.00">a</text> 73 </g> 74 <!-- 6 --> 75 <g id="node6" class="node"> 76 <title>6</title> 77 <ellipse fill="none" stroke="black" cx="528" cy="-33" rx="27" ry="18"/> 78 <text text-anchor="middle" x="528" y="-29.3" font-family="Times,serif" font-size="14.00">6</text> 79 </g> 80 <!-- 5->6 --> 81 <g id="edge5" class="edge"> 82 <title>5->6</title> 83 <path fill="none" stroke="black" d="M458.21,-33C468.28,-33 479.96,-33 490.81,-33"/> 84 <polygon fill="black" stroke="black" points="490.87,-36.5 500.87,-33 490.87,-29.5 490.87,-36.5"/> 85 <text text-anchor="middle" x="479.5" y="-36.8" font-family="Times,serif" font-size="14.00">a</text> 86 </g> 87 </g> 88 </svg>