cl-digraph/static/conditions.svg @ 7af6d40d8264

<?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.40.1 (20161225.0304)
 -->
<!-- Title: %3 Pages: 1 -->
<svg width="606pt" height="188pt"
 viewBox="0.00 0.00 606.00 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="#ffffff" stroke="transparent" points="-4,4 -4,-184 602,-184 602,4 -4,4"/>
<!-- 5 -->
<g id="node1" class="node">
<title>5</title>
<polygon fill="none" stroke="#000000" points="255,-108 0,-108 0,-72 255,-72 255,-108"/>
<text text-anchor="middle" x="127.5" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">TOPOLOGICAL&#45;SORT&#45;CYCLE</text>
</g>
<!-- 1 -->
<g id="node5" class="node">
<title>1</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="337.5,-180 155.5,-180 155.5,-144 337.5,-144 337.5,-180"/>
<text text-anchor="middle" x="246.5" y="-158.3" font-family="Times,serif" font-size="14.00" fill="#000000">DIGRAPH&#45;ERROR</text>
</g>
<!-- 5&#45;&gt;1 -->
<g id="edge1" class="edge">
<title>5&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M157.5287,-108.1686C172.7496,-117.3779 191.4128,-128.6699 207.7083,-138.5294"/>
<polygon fill="#000000" stroke="#000000" points="206.1132,-141.655 216.4809,-143.8372 209.7369,-135.6659 206.1132,-141.655"/>
</g>
<!-- 4 -->
<g id="node2" class="node">
<title>4</title>
<polygon fill="none" stroke="#000000" points="353,-36 142,-36 142,0 353,0 353,-36"/>
<text text-anchor="middle" x="247.5" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">MISSING&#45;SUCCESSOR</text>
</g>
<!-- 2 -->
<g id="node4" class="node">
<title>2</title>
<polygon fill="none" stroke="#000000" stroke-dasharray="5,2" points="460,-108 273,-108 273,-72 460,-72 460,-108"/>
<text text-anchor="middle" x="366.5" y="-86.3" font-family="Times,serif" font-size="14.00" fill="#000000">MISSING&#45;VERTEX</text>
</g>
<!-- 4&#45;&gt;2 -->
<g id="edge2" class="edge">
<title>4&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M277.5287,-36.1686C292.7496,-45.3779 311.4128,-56.6699 327.7083,-66.5294"/>
<polygon fill="#000000" stroke="#000000" points="326.1132,-69.655 336.4809,-71.8372 329.7369,-63.6659 326.1132,-69.655"/>
</g>
<!-- 3 -->
<g id="node3" class="node">
<title>3</title>
<polygon fill="none" stroke="#000000" points="598,-36 371,-36 371,0 598,0 598,-36"/>
<text text-anchor="middle" x="484.5" y="-14.3" font-family="Times,serif" font-size="14.00" fill="#000000">MISSING&#45;PREDECESSOR</text>
</g>
<!-- 3&#45;&gt;2 -->
<g id="edge3" class="edge">
<title>3&#45;&gt;2</title>
<path fill="none" stroke="#000000" d="M454.7236,-36.1686C439.6307,-45.3779 421.1243,-56.6699 404.9657,-66.5294"/>
<polygon fill="#000000" stroke="#000000" points="402.9802,-63.6407 396.2669,-71.8372 406.6263,-69.6162 402.9802,-63.6407"/>
</g>
<!-- 2&#45;&gt;1 -->
<g id="edge4" class="edge">
<title>2&#45;&gt;1</title>
<path fill="none" stroke="#000000" d="M336.2189,-108.1686C320.8702,-117.3779 302.0502,-128.6699 285.6177,-138.5294"/>
<polygon fill="#000000" stroke="#000000" points="283.5456,-135.6909 276.7714,-143.8372 287.1471,-141.6934 283.5456,-135.6909"/>
</g>
</g>
</svg>