dds/example/dots/exampleudm6jn.svg
2020-11-12 22:56:53 +01:00

31 lines
1.4 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 2.43.0 (0)
-->
<!-- Title: G Pages: 1 -->
<svg width="95pt" height="131pt"
viewBox="0.00 0.00 95.09 131.00" 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 127)">
<title>G</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-127 91.09,-127 91.09,4 -4,4"/>
<!-- node0 -->
<g id="node1" class="node">
<title>node0</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-105" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-101.3" font-family="Times-Roman" font-size="14.00">&#39;(y . &#45;1)</text>
</g>
<!-- node1 -->
<g id="node2" class="node">
<title>node1</title>
<ellipse fill="none" stroke="black" cx="43.55" cy="-18" rx="43.59" ry="18"/>
<text text-anchor="middle" x="43.55" y="-14.3" font-family="Times-Roman" font-size="14.00">&#39;(x . &#45;1)</text>
</g>
<!-- node0&#45;&gt;node1 -->
<g id="edge1" class="edge">
<title>node0&#45;&gt;node1</title>
<path fill="none" stroke="black" d="M43.55,-86.8C43.55,-72.05 43.55,-50.92 43.55,-36.18"/>
<text text-anchor="middle" x="51.05" y="-57.8" font-family="Times-Roman" font-size="14.00">&#45;1</text>
</g>
</g>
</svg>