until-2.dot.svg (2806B)
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="134pt" height="188pt" 8 viewBox="0.00 0.00 134.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 130,-184 130,4 -4,4"/> 12 <!-- a --> 13 <g id="node1" class="node"> 14 <title>a</title> 15 <ellipse fill="none" stroke="black" cx="63" cy="-18" rx="27" ry="18"/> 16 <text text-anchor="middle" x="63" 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="27" cy="-90" rx="27" ry="18"/> 22 <text text-anchor="middle" x="27" 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="M54.65,-35.24C50.29,-43.72 44.85,-54.29 39.96,-63.8"/> 28 <polygon fill="black" stroke="black" points="36.77,-62.36 35.3,-72.85 42.99,-65.56 36.77,-62.36"/> 29 </g> 30 <!-- c --> 31 <g id="node3" class="node"> 32 <title>c</title> 33 <ellipse fill="none" stroke="black" cx="99" cy="-90" rx="27" ry="18"/> 34 <text text-anchor="middle" x="99" y="-86.3" font-family="Times,serif" font-size="14.00">c</text> 35 <text text-anchor="middle" x="68.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="M71.35,-35.24C75.71,-43.72 81.15,-54.29 86.04,-63.8"/> 41 <polygon fill="black" stroke="black" points="83.01,-65.56 90.7,-72.85 89.23,-62.36 83.01,-65.56"/> 42 </g> 43 <!-- d --> 44 <g id="node4" class="node"> 45 <title>d</title> 46 <ellipse fill="none" stroke="black" cx="63" cy="-162" rx="27" ry="18"/> 47 <text text-anchor="middle" x="63" y="-158.3" font-family="Times,serif" font-size="14.00">d</text> 48 <text text-anchor="middle" x="32.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="M35.35,-107.24C39.71,-115.72 45.15,-126.29 50.04,-135.8"/> 54 <polygon fill="black" stroke="black" points="47.01,-137.56 54.7,-144.85 53.23,-134.36 47.01,-137.56"/> 55 </g> 56 <!-- c->d --> 57 <g id="edge3" class="edge"> 58 <title>c->d</title> 59 <path fill="none" stroke="black" d="M90.65,-107.24C86.29,-115.72 80.85,-126.29 75.96,-135.8"/> 60 <polygon fill="black" stroke="black" points="72.77,-134.36 71.3,-144.85 78.99,-137.56 72.77,-134.36"/> 61 </g> 62 </g> 63 </svg>