model-m.dot.svg (1467B)
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="136pt" height="45pt" 8 viewBox="0.00 0.00 135.50 45.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 41)"> 10 <title>g</title> 11 <polygon fill="white" stroke="transparent" points="-4,4 -4,-41 131.5,-41 131.5,4 -4,4"/> 12 <!-- a --> 13 <g id="node1" class="node"> 14 <title>a</title> 15 <ellipse fill="none" stroke="black" cx="27" cy="-18.5" rx="27" ry="18"/> 16 <text text-anchor="middle" x="27" y="-14.8" 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 <path fill="none" stroke="black" d="M84.5,-0.5C84.5,-0.5 115.5,-0.5 115.5,-0.5 121.5,-0.5 127.5,-6.5 127.5,-12.5 127.5,-12.5 127.5,-24.5 127.5,-24.5 127.5,-30.5 121.5,-36.5 115.5,-36.5 115.5,-36.5 84.5,-36.5 84.5,-36.5 78.5,-36.5 72.5,-30.5 72.5,-24.5 72.5,-24.5 72.5,-12.5 72.5,-12.5 72.5,-6.5 78.5,-0.5 84.5,-0.5"/> 22 <text text-anchor="middle" x="84" y="-14.8" font-family="Times,serif" font-size="14.00">b</text> 23 <polyline fill="none" stroke="black" points="95.5,-0.5 95.5,-36.5 "/> 24 <text text-anchor="middle" x="111.5" y="-14.8" font-family="Times,serif" font-size="14.00">[p]</text> 25 </g> 26 </g> 27 </svg>