cl-digraph/static/conditions.svg @ 15d3b832fdc5

<?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: %3 Pages: 1 -->
<svg width="667pt" height="188pt"
 viewBox="0.00 0.00 666.50 188.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 184)">
<title>%3</title>
<polygon fill="white" stroke="transparent" points="-4,4 -4,-184 662.5,-184 662.5,4 -4,4"/>
<!-- 5 -->
<g id="node1" class="node">
<title>5</title>
<polygon fill="none" stroke="black" points="277,-108 0,-108 0,-72 277,-72 277,-108"/>
<text text-anchor="middle" x="138.5" y="-86.3" font-family="Times,serif" font-size="14.00">TOPOLOGICAL&#45;SORT&#45;CYCLE</text>
</g>
<!-- 1 -->
<g id="node5" class="node">
<title>1</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="367.5,-180 167.5,-180 167.5,-144 367.5,-144 367.5,-180"/>
<text text-anchor="middle" x="267.5" y="-158.3" font-family="Times,serif" font-size="14.00">DIGRAPH&#45;ERROR</text>
</g>
<!-- 5&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>5&#45;&gt;1</title>
<path fill="none" stroke="black" d="M170.06,-108.12C187.16,-117.4 208.48,-128.97 226.82,-138.92"/>
<polygon fill="black" stroke="black" points="225.36,-142.12 235.82,-143.81 228.7,-135.96 225.36,-142.12"/>
</g>
<!-- 4 -->
<g id="node2" class="node">
<title>4</title>
<polygon fill="none" stroke="black" points="382.5,-36 144.5,-36 144.5,0 382.5,0 382.5,-36"/>
<text text-anchor="middle" x="263.5" y="-14.3" font-family="Times,serif" font-size="14.00">MISSING&#45;SUCCESSOR</text>
</g>
<!-- 2 -->
<g id="node4" class="node">
<title>2</title>
<polygon fill="none" stroke="black" stroke-dasharray="5,2" points="498,-108 295,-108 295,-72 498,-72 498,-108"/>
<text text-anchor="middle" x="396.5" y="-86.3" font-family="Times,serif" font-size="14.00">MISSING&#45;VERTEX</text>
</g>
<!-- 4&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>4&#45;&gt;2</title>
<path fill="none" stroke="black" d="M296.04,-36.12C313.75,-45.45 335.85,-57.08 354.82,-67.06"/>
<polygon fill="black" stroke="black" points="353.36,-70.25 363.84,-71.81 356.62,-64.06 353.36,-70.25"/>
</g>
<!-- 3 -->
<g id="node3" class="node">
<title>3</title>
<polygon fill="none" stroke="black" points="658.5,-36 400.5,-36 400.5,0 658.5,0 658.5,-36"/>
<text text-anchor="middle" x="529.5" y="-14.3" font-family="Times,serif" font-size="14.00">MISSING&#45;PREDECESSOR</text>
</g>
<!-- 3&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>3&#45;&gt;2</title>
<path fill="none" stroke="black" d="M496.96,-36.12C479.25,-45.45 457.15,-57.08 438.18,-67.06"/>
<polygon fill="black" stroke="black" points="436.38,-64.06 429.16,-71.81 439.64,-70.25 436.38,-64.06"/>
</g>
<!-- 2&#45;&gt;1 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;1</title>
<path fill="none" stroke="black" d="M364.94,-108.12C347.84,-117.4 326.52,-128.97 308.18,-138.92"/>
<polygon fill="black" stroke="black" points="306.3,-135.96 299.18,-143.81 309.64,-142.12 306.3,-135.96"/>
</g>
</g>
</svg>