until-1.dot.svg (3386B)
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="141pt" height="188pt" 8 viewBox="0.00 0.00 141.00 188.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 184)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-184 137,-184 137,4 -4,4"/> 12 <!-- a --> 13 <g id="node1" class="node"> 14 <title>a</title> 15 <ellipse fill="none" stroke="black" cx="70" cy="-18" rx="27" ry="18"/> 16 <text text-anchor="middle" x="70" y="-14.3" font-family="Times,serif" font-size="14.00">a</text> 17 </g> 18 <!-- b --> 19 <g id="node2" class="node"> 20 <title>b</title> 21 <ellipse fill="none" stroke="black" cx="34" cy="-90" rx="27" ry="18"/> 22 <text text-anchor="middle" x="34" y="-86.3" font-family="Times,serif" font-size="14.00">b</text> 23 </g> 24 <!-- a->b --> 25 <g id="edge1" class="edge"> 26 <title>a->b</title> 27 <path fill="none" stroke="black" d="M61.65,-35.24C57.29,-43.72 51.85,-54.29 46.96,-63.8"/> 28 <polygon fill="black" stroke="black" points="43.77,-62.36 42.3,-72.85 49.99,-65.56 43.77,-62.36"/> 29 </g> 30 <!-- c --> 31 <g id="node3" class="node"> 32 <title>c</title> 33 <ellipse fill="none" stroke="black" cx="106" cy="-90" rx="27" ry="18"/> 34 <text text-anchor="middle" x="106" y="-86.3" font-family="Times,serif" font-size="14.00">c</text> 35 <text text-anchor="middle" x="75.5" y="-60.8" font-family="Times,serif" font-size="14.00">p</text> 36 </g> 37 <!-- a->c --> 38 <g id="edge2" class="edge"> 39 <title>a->c</title> 40 <path fill="none" stroke="black" d="M78.35,-35.24C82.71,-43.72 88.15,-54.29 93.04,-63.8"/> 41 <polygon fill="black" stroke="black" points="90.01,-65.56 97.7,-72.85 96.23,-62.36 90.01,-65.56"/> 42 </g> 43 <!-- d --> 44 <g id="node4" class="node"> 45 <title>d</title> 46 <ellipse fill="none" stroke="black" cx="34" cy="-162" rx="27" ry="18"/> 47 <text text-anchor="middle" x="34" y="-158.3" font-family="Times,serif" font-size="14.00">d</text> 48 <text text-anchor="middle" x="3.5" y="-132.8" font-family="Times,serif" font-size="14.00">q</text> 49 </g> 50 <!-- b->d --> 51 <g id="edge4" class="edge"> 52 <title>b->d</title> 53 <path fill="none" stroke="black" d="M34,-108.3C34,-116.02 34,-125.29 34,-133.89"/> 54 <polygon fill="black" stroke="black" points="30.5,-133.9 34,-143.9 37.5,-133.9 30.5,-133.9"/> 55 </g> 56 <!-- c->d --> 57 <g id="edge3" class="edge"> 58 <title>c->d</title> 59 <path fill="none" stroke="black" d="M91.43,-105.17C81.25,-115.06 67.48,-128.45 55.97,-139.64"/> 60 <polygon fill="black" stroke="black" points="53.53,-137.13 48.8,-146.62 58.41,-142.15 53.53,-137.13"/> 61 </g> 62 <!-- e --> 63 <g id="node5" class="node"> 64 <title>e</title> 65 <ellipse fill="none" stroke="black" cx="106" cy="-162" rx="27" ry="18"/> 66 <text text-anchor="middle" x="106" y="-158.3" font-family="Times,serif" font-size="14.00">e</text> 67 <text text-anchor="middle" x="75.5" y="-132.8" font-family="Times,serif" font-size="14.00">q</text> 68 </g> 69 <!-- c->e --> 70 <g id="edge5" class="edge"> 71 <title>c->e</title> 72 <path fill="none" stroke="black" d="M106,-108.3C106,-116.02 106,-125.29 106,-133.89"/> 73 <polygon fill="black" stroke="black" points="102.5,-133.9 106,-143.9 109.5,-133.9 102.5,-133.9"/> 74 </g> 75 </g> 76 </svg>