test/test.fsm.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 2.40.1 (20161225.0304)
 -->
<!-- Title: fsm Pages: 1 -->
<svg width="423pt" height="116pt"
 viewBox="0.00 0.00 422.90 115.93" 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 111.9347)">
<title>fsm</title>
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-111.9347 418.903,-111.9347 418.903,4 -4,4"/>
<!-- A -->
<g id="node1" class="node">
<title>A</title>
<ellipse fill="#fedd00" stroke="#000000" stroke-width="2" cx="28.0306" cy="-29.0486" rx="28.0613" ry="28.0613"/>
<text text-anchor="middle" x="28.0306" y="-26.6486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> pending </text>
</g>
<!-- B -->
<g id="node2" class="node">
<title>B</title>
<ellipse fill="#fedd00" stroke="#fedd00" stroke-width="2" cx="140.6145" cy="-74.0486" rx="33.7726" ry="33.7726"/>
<text text-anchor="middle" x="140.6145" y="-71.6486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> processing </text>
</g>
<!-- A&#45;&gt;B -->
<g id="edge1" class="edge">
<title>A&#45;&gt;B</title>
<path fill="none" stroke="#cc0000" stroke-width="2" d="M54.1426,-39.4856C67.5706,-44.8528 84.2515,-51.5202 99.3697,-57.5629"/>
<polygon fill="#cc0000" stroke="#cc0000" stroke-width="2" points="98.4442,-60.9622 109.029,-61.4238 101.0423,-54.4622 98.4442,-60.9622"/>
<text text-anchor="middle" x="81.3948" y="-54.4486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> init </text>
</g>
<!-- C -->
<g id="node4" class="node">
<title>C</title>
<ellipse fill="#fedd00" stroke="#fedd00" stroke-width="2" cx="262.5416" cy="-29.0486" rx="28.0613" ry="28.0613"/>
<text text-anchor="middle" x="262.5416" y="-26.6486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> effected </text>
</g>
<!-- A&#45;&gt;C -->
<g id="edge2" class="edge">
<title>A&#45;&gt;C</title>
<path fill="none" stroke="#000000" stroke-width=".5" d="M56.0286,-25.6839C71.0384,-24.0472 89.8645,-22.261 106.7284,-21.4486 136.8145,-19.9992 144.4076,-20.1521 174.5006,-21.4486 190.8149,-22.1514 208.7824,-23.5836 224.2083,-25.0171"/>
<polygon fill="#000000" stroke="#000000" stroke-width=".5" points="224.1408,-28.5267 234.4301,-26.0009 224.8114,-21.5589 224.1408,-28.5267"/>
<text text-anchor="middle" x="140.6145" y="-24.4486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> effect </text>
</g>
<!-- B&#45;&gt;C -->
<g id="edge3" class="edge">
<title>B&#45;&gt;C</title>
<path fill="none" stroke="#000000" stroke-width=".5" d="M172.6494,-62.2253C190.7075,-55.5606 213.174,-47.2688 231.1292,-40.642"/>
<polygon fill="#000000" stroke="#000000" stroke-width=".5" points="231.9817,-42.1929 236.0665,-38.8198 230.7698,-38.9094 231.9817,-42.1929"/>
<text text-anchor="middle" x="204.5058" y="-56.4486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> effect </text>
</g>
<!-- D -->
<g id="node3" class="node">
<title>D</title>
<ellipse fill="#fedd00" stroke="#fedd00" stroke-width="2" cx="385.8544" cy="-29.0486" rx="29.0972" ry="29.0972"/>
<text text-anchor="middle" x="385.8544" y="-26.6486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> disputed </text>
</g>
<!-- D&#45;&gt;C -->
<g id="edge4" class="edge">
<title>D&#45;&gt;C</title>
<path fill="none" stroke="#000000" stroke-width=".5" d="M358.315,-18.9897C351.9896,-17.1053 345.2323,-15.4228 338.8059,-14.4486 325.5205,-12.4346 321.8513,-12.3931 308.5723,-14.4486 303.7255,-15.1988 298.6901,-16.3686 293.8055,-17.7269"/>
<polygon fill="#000000" stroke="#000000" stroke-width=".5" points="293.2899,-16.0543 288.9837,-19.1396 294.274,-19.4132 293.2899,-16.0543"/>
<text text-anchor="middle" x="323.6891" y="-17.4486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> effect </text>
</g>
<!-- C&#45;&gt;D -->
<g id="edge5" class="edge">
<title>C&#45;&gt;D</title>
<path fill="none" stroke="#000000" stroke-width=".5" d="M290.8321,-29.0486C308.7707,-29.0486 332.1018,-29.0486 351.1558,-29.0486"/>
<polygon fill="#000000" stroke="#000000" stroke-width=".5" points="351.4086,-30.7987 356.4085,-29.0486 351.4085,-27.2987 351.4086,-30.7987"/>
<text text-anchor="middle" x="323.6891" y="-31.4486" font-family="Helvetica,sans-Serif" font-size="8.00" fill="#000000"> dispute </text>
</g>
</g>
</svg>