src/img/trpl17-05.svg

<?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.1.1 (20240910.0053)
 -->
<!-- Pages: 1 -->
<svg height="200pt"
 viewBox="0.00 0.00 767.00 575.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(4.16667 4.16667) rotate(0) translate(4 134)">
<polygon fill="white" stroke="none" points="-4,4 -4,-134 180,-134 180,4 -4,4"/>
<g id="clust1" class="cluster">
<title>%3</title>
</g>
<!-- fut1 -->
<g id="node1" class="node">
<title>fut1</title>
<polygon fill="gray" stroke="none" points="29.12,-20 29.12,-110 56.88,-110 56.88,-20 29.12,-20"/>
<polyline fill="none" stroke="black" points="29.12,-87.5 56.88,-87.5"/>
<text text-anchor="start" x="32.12" y="-93.7" font-family="Times,serif" font-size="14.00">fut1</text>
<polygon fill="none" stroke="black" points="29.12,-65 29.12,-87.5 56.88,-87.5 56.88,-65 29.12,-65"/>
<text text-anchor="start" x="40" y="-71.2" font-family="Times,serif" font-size="14.00">?</text>
<polygon fill="none" stroke="black" points="29.12,-42.5 29.12,-65 56.88,-65 56.88,-42.5 29.12,-42.5"/>
<text text-anchor="start" x="40" y="-48.7" font-family="Times,serif" font-size="14.00">?</text>
<polygon fill="none" stroke="black" points="29.12,-20 29.12,-42.5 56.88,-42.5 56.88,-20 29.12,-20"/>
<text text-anchor="start" x="40" y="-26.2" font-family="Times,serif" font-size="14.00">?</text>
</g>
<!-- fut2 -->
<g id="node2" class="node">
<title>fut2</title>
<polyline fill="none" stroke="black" points="119.12,-87.5 146.88,-87.5"/>
<text text-anchor="start" x="122.12" y="-93.7" font-family="Times,serif" font-size="14.00">fut2</text>
<polygon fill="none" stroke="black" points="119.12,-65 119.12,-87.5 146.88,-87.5 146.88,-65 119.12,-65"/>
<text text-anchor="start" x="129.62" y="-71.2" font-family="Times,serif" font-size="14.00">0</text>
<polygon fill="none" stroke="black" points="119.12,-42.5 119.12,-65 146.88,-65 146.88,-42.5 119.12,-42.5"/>
<text text-anchor="start" x="129.62" y="-48.7" font-family="Times,serif" font-size="14.00">1</text>
<polygon fill="none" stroke="black" points="119.12,-20 119.12,-42.5 146.88,-42.5 146.88,-20 119.12,-20"/>
<text text-anchor="start" x="131.12" y="-26.2" font-family="Times,serif" font-size="14.00"> </text>
</g>
<!-- fut2&#45;&gt;fut1 -->
<g id="edge1" class="edge">
<title>fut2:c&#45;&gt;fut1:c</title>
<path fill="none" stroke="black" d="M132,-31.25C132,-31.25 93.6,-41.07 67.54,-47.73"/>
<polygon fill="black" stroke="black" points="66.9,-44.28 58.07,-50.15 68.63,-51.07 66.9,-44.28"/>
</g>
</g>
</svg>