73 lines
4.5 KiB
XML
73 lines
4.5 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN"
|
|
"http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
|
<!-- Generated by graphviz version 12.2.1 (20241206.2353)
|
|
-->
|
|
<!-- Title: DiskGraph Pages: 1 -->
|
|
<svg width="307pt" height="429pt"
|
|
viewBox="0.00 0.00 307.00 429.43" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
|
|
<g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 425.43)">
|
|
<title>DiskGraph</title>
|
|
<polygon fill="white" stroke="none" points="-4,4 -4,-425.43 303,-425.43 303,4 -4,4"/>
|
|
<g id="clust1" class="cluster">
|
|
<title>cluster_graph</title>
|
|
<polygon fill="none" stroke="white" points="8,-8 8,-413.43 291,-413.43 291,-8 8,-8"/>
|
|
</g>
|
|
<!-- -6561245893135770515 -->
|
|
<g id="node1" class="node">
|
|
<title>-6561245893135770515</title>
|
|
<ellipse fill="lightgrey" stroke="black" cx="150" cy="-376.44" rx="114.73" ry="28.99"/>
|
|
<text text-anchor="middle" x="150" y="-379.64" font-family="Times,serif" font-size="14.00">/\ going_to_green = TRUE</text>
|
|
<text text-anchor="middle" x="150" y="-363.14" font-family="Times,serif" font-size="14.00">/\ light = "red"</text>
|
|
</g>
|
|
<!-- -3985350826903611890 -->
|
|
<g id="node2" class="node">
|
|
<title>-3985350826903611890</title>
|
|
<ellipse fill="none" stroke="black" cx="131" cy="-265.96" rx="114.73" ry="28.99"/>
|
|
<text text-anchor="middle" x="131" y="-269.16" font-family="Times,serif" font-size="14.00">/\ going_to_green = TRUE</text>
|
|
<text text-anchor="middle" x="131" y="-252.66" font-family="Times,serif" font-size="14.00">/\ light = "yellow"</text>
|
|
</g>
|
|
<!-- -6561245893135770515->-3985350826903611890 -->
|
|
<g id="edge1" class="edge">
|
|
<title>-6561245893135770515->-3985350826903611890</title>
|
|
<path fill="none" stroke="#1f78b4" d="M145.06,-347.22C142.88,-334.76 140.27,-319.9 137.9,-306.38"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="141.42,-306.15 136.24,-296.9 134.52,-307.36 141.42,-306.15"/>
|
|
<text text-anchor="middle" x="154.76" y="-316.15" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
|
|
</g>
|
|
<!-- -6933751335419357787 -->
|
|
<g id="node3" class="node">
|
|
<title>-6933751335419357787</title>
|
|
<ellipse fill="none" stroke="black" cx="136" cy="-155.47" rx="119.5" ry="28.99"/>
|
|
<text text-anchor="middle" x="136" y="-158.67" font-family="Times,serif" font-size="14.00">/\ going_to_green = FALSE</text>
|
|
<text text-anchor="middle" x="136" y="-142.17" font-family="Times,serif" font-size="14.00">/\ light = "green"</text>
|
|
</g>
|
|
<!-- -3985350826903611890->-6933751335419357787 -->
|
|
<g id="edge2" class="edge">
|
|
<title>-3985350826903611890->-6933751335419357787</title>
|
|
<path fill="none" stroke="#1f78b4" d="M132.3,-236.74C132.87,-224.4 133.55,-209.72 134.16,-196.3"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="137.65,-196.59 134.62,-186.44 130.66,-196.27 137.65,-196.59"/>
|
|
<text text-anchor="middle" x="146.92" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
|
|
</g>
|
|
<!-- -6197432096701693854 -->
|
|
<g id="node4" class="node">
|
|
<title>-6197432096701693854</title>
|
|
<ellipse fill="none" stroke="black" cx="150" cy="-44.99" rx="119.5" ry="28.99"/>
|
|
<text text-anchor="middle" x="150" y="-48.19" font-family="Times,serif" font-size="14.00">/\ going_to_green = FALSE</text>
|
|
<text text-anchor="middle" x="150" y="-31.69" font-family="Times,serif" font-size="14.00">/\ light = "yellow"</text>
|
|
</g>
|
|
<!-- -6933751335419357787->-6197432096701693854 -->
|
|
<g id="edge3" class="edge">
|
|
<title>-6933751335419357787->-6197432096701693854</title>
|
|
<path fill="none" stroke="#1f78b4" d="M139.64,-126.25C141.23,-113.92 143.13,-99.24 144.86,-85.82"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="148.33,-86.31 146.13,-75.95 141.38,-85.42 148.33,-86.31"/>
|
|
<text text-anchor="middle" x="156.96" y="-95.18" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
|
|
</g>
|
|
<!-- -6197432096701693854->-6561245893135770515 -->
|
|
<g id="edge4" class="edge">
|
|
<title>-6197432096701693854->-6561245893135770515</title>
|
|
<path fill="none" stroke="#1f78b4" d="M208,-70.61C231.03,-83.61 255.08,-102.04 268,-126.48 280.04,-149.27 269.16,-158.72 268,-184.47 265.78,-233.72 282.08,-251.93 258,-294.95 246.91,-314.76 228.7,-331.12 210.37,-343.8"/>
|
|
<polygon fill="#1f78b4" stroke="#1f78b4" points="208.5,-340.84 202.07,-349.26 212.35,-346.68 208.5,-340.84"/>
|
|
<text text-anchor="middle" x="282.21" y="-205.67" font-family="Times,serif" font-size="14.00" fill="#000000">Next</text>
|
|
</g>
|
|
</g>
|
|
</svg>
|
