-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexample_1.html
85 lines (85 loc) · 5.69 KB
/
example_1.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
<div><?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)
-->
<!-- Pages: 1 -->
<svg width="320pt" height="148pt"
viewBox="0.00 0.00 319.50 148.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(1.0 1.0) rotate(0) translate(4 144)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-144 315.5,-144 315.5,4 -4,4"/>
<text text-anchor="start" x="134.75" y="-125.8" font-family="Lato" font-size="14.00" fill="#000000">Inf(</text>
<text text-anchor="start" x="156.75" y="-125.8" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
<text text-anchor="start" x="172.75" y="-125.8" font-family="Lato" font-size="14.00" fill="#000000">)</text>
<text text-anchor="start" x="132.75" y="-111.8" font-family="Lato" font-size="14.00" fill="#000000">[Büchi]</text>
<!-- I -->
<!-- 0 -->
<g id="node2" class="node">
<title>0</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="99.5" cy="-18" rx="18" ry="18"/>
<text text-anchor="middle" x="99.5" y="-14.3" font-family="Lato" font-size="14.00" fill="#000000">0</text>
</g>
<!-- I->0 -->
<g id="edge1" class="edge">
<title>I->0</title>
<path fill="none" stroke="#000000" d="M44.6233,-18C47.678,-18 61.4448,-18 74.4241,-18"/>
<polygon fill="#000000" stroke="#000000" points="81.4807,-18 74.4808,-21.1501 77.9807,-18 74.4807,-18.0001 74.4807,-18.0001 74.4807,-18.0001 77.9807,-18 74.4807,-14.8501 81.4807,-18 81.4807,-18"/>
</g>
<!-- 0->0 -->
<g id="edge2" class="edge">
<title>0->0</title>
<path fill="none" stroke="#000000" d="M93.1208,-35.0373C91.8189,-44.8579 93.9453,-54 99.5,-54 103.666,-54 105.9036,-48.8576 106.2128,-42.1433"/>
<polygon fill="#000000" stroke="#000000" points="105.8792,-35.0373 109.3541,-41.8818 106.0434,-38.5335 106.2076,-42.0296 106.2076,-42.0296 106.2076,-42.0296 106.0434,-38.5335 103.061,-42.1774 105.8792,-35.0373 105.8792,-35.0373"/>
<text text-anchor="start" x="0" y="-57.8" font-family="Lato" font-size="14.00" fill="#000000">(!a & !g1 & !g2) | (!b & !g1 & !g2)</text>
</g>
<!-- 1 -->
<g id="node3" class="node">
<title>1</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="205.5" cy="-53" rx="18" ry="18"/>
<text text-anchor="middle" x="205.5" y="-49.3" font-family="Lato" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 0->1 -->
<g id="edge3" class="edge">
<title>0->1</title>
<path fill="none" stroke="#000000" d="M117.0037,-23.7795C134.6004,-29.5898 161.8586,-38.5901 181.4734,-45.0667"/>
<polygon fill="#000000" stroke="#000000" points="188.322,-47.328 180.6872,-48.1243 184.9984,-46.2306 181.6749,-45.1332 181.6749,-45.1332 181.6749,-45.1332 184.9984,-46.2306 182.6626,-42.142 188.322,-47.328 188.322,-47.328"/>
<text text-anchor="start" x="135.5" y="-43.8" font-family="Lato" font-size="14.00" fill="#000000">a & b</text>
</g>
<!-- 2 -->
<g id="node4" class="node">
<title>2</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="286.5" cy="-18" rx="18" ry="18"/>
<text text-anchor="middle" x="286.5" y="-14.3" font-family="Lato" font-size="14.00" fill="#000000">2</text>
</g>
<!-- 0->2 -->
<g id="edge4" class="edge">
<title>0->2</title>
<path fill="none" stroke="#000000" d="M117.5708,-15.7144C141.713,-12.9506 185.8241,-8.9133 223.5,-11 236.0289,-11.6939 249.8951,-13.1584 261.4219,-14.5693"/>
<polygon fill="#000000" stroke="#000000" points="268.6213,-15.4801 261.2812,-17.7265 265.149,-15.0408 261.6766,-14.6015 261.6766,-14.6015 261.6766,-14.6015 265.149,-15.0408 262.072,-11.4764 268.6213,-15.4801 268.6213,-15.4801"/>
<text text-anchor="start" x="188.5" y="-14.8" font-family="Lato" font-size="14.00" fill="#000000">a & b</text>
</g>
<!-- 1->1 -->
<g id="edge5" class="edge">
<title>1->1</title>
<path fill="none" stroke="#000000" d="M198.4688,-69.6641C196.9063,-79.625 199.25,-89 205.5,-89 210.1875,-89 212.6777,-83.7266 212.9707,-76.8876"/>
<polygon fill="#000000" stroke="#000000" points="212.5313,-69.6641 216.1006,-76.4598 212.7438,-73.1576 212.9564,-76.6511 212.9564,-76.6511 212.9564,-76.6511 212.7438,-73.1576 209.8122,-76.8425 212.5313,-69.6641 212.5313,-69.6641"/>
<text text-anchor="middle" x="205.5" y="-92.8" font-family="Lato" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 1->2 -->
<g id="edge6" class="edge">
<title>1->2</title>
<path fill="none" stroke="#000000" d="M222.2833,-45.748C234.1213,-40.6328 250.1335,-33.7139 263.2071,-28.0648"/>
<polygon fill="#000000" stroke="#000000" points="269.7382,-25.2427 264.5619,-30.911 266.5254,-26.631 263.3125,-28.0194 263.3125,-28.0194 263.3125,-28.0194 266.5254,-26.631 262.063,-25.1278 269.7382,-25.2427 269.7382,-25.2427"/>
<text text-anchor="middle" x="246" y="-39.8" font-family="Lato" font-size="14.00" fill="#000000">1</text>
</g>
<!-- 2->2 -->
<g id="edge7" class="edge">
<title>2->2</title>
<path fill="none" stroke="#000000" d="M279.4688,-34.6641C277.9063,-44.625 280.25,-54 286.5,-54 291.1875,-54 293.6777,-48.7266 293.9707,-41.8876"/>
<polygon fill="#000000" stroke="#000000" points="293.5313,-34.6641 297.1006,-41.4598 293.7438,-38.1576 293.9564,-41.6511 293.9564,-41.6511 293.9564,-41.6511 293.7438,-38.1576 290.8122,-41.8425 293.5313,-34.6641 293.5313,-34.6641"/>
<text text-anchor="start" x="261.5" y="-72.8" font-family="Lato" font-size="14.00" fill="#000000">g1 & g2</text>
<text text-anchor="start" x="278.5" y="-57.8" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
</g>
</svg>
</div>