-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathexample_2.html
206 lines (206 loc) · 16.1 KB
/
example_2.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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
<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="722pt" height="360pt"
viewBox="0.00 0.00 722.31 360.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g id="graph0" class="graph" transform="scale(0.9554 0.9554) rotate(0) translate(4 372.7936)">
<polygon fill="#ffffff" stroke="transparent" points="-4,4 -4,-372.7936 752,-372.7936 752,4 -4,4"/>
<text text-anchor="start" x="353" y="-354.5936" font-family="Lato" font-size="14.00" fill="#000000">Inf(</text>
<text text-anchor="start" x="375" y="-354.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
<text text-anchor="start" x="391" y="-354.5936" font-family="Lato" font-size="14.00" fill="#000000">)</text>
<text text-anchor="start" x="351" y="-340.5936" 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="56" cy="-213.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="56" y="-210.0936" 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="M1.1233,-213.7936C4.178,-213.7936 17.9448,-213.7936 30.9241,-213.7936"/>
<polygon fill="#000000" stroke="#000000" points="37.9807,-213.7936 30.9808,-216.9437 34.4807,-213.7937 30.9807,-213.7937 30.9807,-213.7937 30.9807,-213.7937 34.4807,-213.7937 30.9807,-210.6437 37.9807,-213.7936 37.9807,-213.7936"/>
</g>
<!-- 0->0 -->
<g id="edge2" class="edge">
<title>0->0</title>
<path fill="none" stroke="#000000" d="M49.6208,-230.831C48.3189,-240.6516 50.4453,-249.7936 56,-249.7936 60.166,-249.7936 62.4036,-244.6512 62.7128,-237.9369"/>
<polygon fill="#000000" stroke="#000000" points="62.3792,-230.831 65.8541,-237.6755 62.5434,-234.3271 62.7076,-237.8233 62.7076,-237.8233 62.7076,-237.8233 62.5434,-234.3271 59.561,-237.971 62.3792,-230.831 62.3792,-230.831"/>
<text text-anchor="start" x="50.5" y="-253.5936" font-family="Lato" font-size="14.00" fill="#000000">!a</text>
</g>
<!-- 1 -->
<g id="node3" class="node">
<title>1</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="201.5" cy="-126.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="201.5" y="-123.0936" 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="M69.549,-201.8564C76.1057,-196.3505 84.2261,-189.9159 92,-184.7936 120.4891,-166.0219 155.7047,-148.2488 178.3787,-137.4415"/>
<polygon fill="#000000" stroke="#000000" points="184.9915,-134.3177 180.0077,-140.1559 181.8269,-135.8127 178.6622,-137.3076 178.6622,-137.3076 178.6622,-137.3076 181.8269,-135.8127 177.3167,-134.4594 184.9915,-134.3177 184.9915,-134.3177"/>
<text text-anchor="start" x="92" y="-188.5936" 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="447.5" cy="-126.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="447.5" y="-123.0936" 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="M74.1083,-212.3842C109.4213,-209.4084 189.821,-201.5167 256,-186.7936 317.694,-173.0684 388.1128,-148.6667 423.9122,-135.6116"/>
<polygon fill="#000000" stroke="#000000" points="430.5977,-133.1584 425.1113,-138.527 427.3119,-134.3641 424.0262,-135.5698 424.0262,-135.5698 424.0262,-135.5698 427.3119,-134.3641 422.941,-132.6126 430.5977,-133.1584 430.5977,-133.1584"/>
<text text-anchor="start" x="147" y="-207.5936" font-family="Lato" font-size="14.00" fill="#000000">a & b & !g1 & !g2</text>
</g>
<!-- 3 -->
<g id="node5" class="node">
<title>3</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="635" cy="-68.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="635" y="-65.0936" font-family="Lato" font-size="14.00" fill="#000000">3</text>
</g>
<!-- 0->3 -->
<g id="edge5" class="edge">
<title>0->3</title>
<path fill="none" stroke="#000000" d="M65.4039,-197.8942C72.2995,-186.6371 82.1419,-171.3668 92,-158.7936 152.8597,-81.1722 178.329,-55.7944 274,-31.7936 411.0854,2.5967 459.4925,17.3681 592,-31.7936 601.8596,-35.4517 610.9754,-42.4955 618.2525,-49.4641"/>
<polygon fill="#000000" stroke="#000000" points="623.4407,-54.7211 616.2816,-51.9516 620.9822,-52.23 618.5236,-49.7389 618.5236,-49.7389 618.5236,-49.7389 620.9822,-52.23 620.7656,-47.5262 623.4407,-54.7211 623.4407,-54.7211"/>
<text text-anchor="start" x="274" y="-35.5936" font-family="Lato" font-size="14.00" fill="#000000">a & b & g1 & !g2</text>
</g>
<!-- 4 -->
<g id="node6" class="node">
<title>4</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="635" cy="-221.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="635" y="-218.0936" font-family="Lato" font-size="14.00" fill="#000000">4</text>
</g>
<!-- 0->4 -->
<g id="edge6" class="edge">
<title>0->4</title>
<path fill="none" stroke="#000000" d="M73.4203,-219.0265C79.2691,-220.5473 85.8653,-222.009 92,-222.7936 278.9302,-246.7014 327.5493,-225.9047 516,-226.7936 549.7774,-226.953 558.2788,-228.7476 592,-226.7936 597.8031,-226.4574 604.0247,-225.8679 609.8822,-225.2089"/>
<polygon fill="#000000" stroke="#000000" points="617.048,-224.3509 610.4722,-228.3109 613.5729,-224.767 610.0977,-225.1832 610.0977,-225.1832 610.0977,-225.1832 613.5729,-224.767 609.7231,-222.0556 617.048,-224.3509 617.048,-224.3509"/>
<text text-anchor="start" x="274" y="-237.5936" font-family="Lato" font-size="14.00" fill="#000000">a & b & !g1 & g2</text>
</g>
<!-- 5 -->
<g id="node7" class="node">
<title>5</title>
<ellipse fill="#ffffaa" stroke="#000000" cx="730" cy="-155.7936" rx="18" ry="18"/>
<text text-anchor="middle" x="730" y="-152.0936" font-family="Lato" font-size="14.00" fill="#000000">5</text>
</g>
<!-- 0->5 -->
<g id="edge7" class="edge">
<title>0->5</title>
<path fill="none" stroke="#000000" d="M68.0743,-227.6999C91.2293,-252.7311 144.6461,-302.7936 201.5,-302.7936 201.5,-302.7936 201.5,-302.7936 635,-302.7936 692.4493,-302.7936 716.8579,-222.6169 725.6947,-180.6886"/>
<polygon fill="#000000" stroke="#000000" points="727.0754,-173.8187 728.7843,-181.3022 726.3857,-177.2501 725.696,-180.6815 725.696,-180.6815 725.696,-180.6815 726.3857,-177.2501 722.6078,-180.0608 727.0754,-173.8187 727.0754,-173.8187"/>
<text text-anchor="start" x="397" y="-321.5936" font-family="Lato" font-size="14.00" fill="#000000">a & b & g1 & g2</text>
<text text-anchor="start" x="439.5" y="-306.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
<!-- 1->1 -->
<g id="edge8" class="edge">
<title>1->1</title>
<path fill="none" stroke="#000000" d="M187.855,-138.9654C180.7798,-150.3952 185.3281,-162.7936 201.5,-162.7936 214.6396,-162.7936 220.1059,-154.6087 217.8989,-145.4087"/>
<polygon fill="#000000" stroke="#000000" points="215.145,-138.9654 220.7927,-144.1641 216.5206,-142.1838 217.8961,-145.4021 217.8961,-145.4021 217.8961,-145.4021 216.5206,-142.1838 214.9996,-146.6402 215.145,-138.9654 215.145,-138.9654"/>
<text text-anchor="start" x="195" y="-166.5936" font-family="Lato" font-size="14.00" fill="#000000">!b</text>
</g>
<!-- 1->2 -->
<g id="edge9" class="edge">
<title>1->2</title>
<path fill="none" stroke="#000000" d="M219.589,-126.7936C262.8606,-126.7936 372.4381,-126.7936 422.2094,-126.7936"/>
<polygon fill="#000000" stroke="#000000" points="429.3845,-126.7936 422.3846,-129.9437 425.8845,-126.7937 422.3845,-126.7937 422.3845,-126.7937 422.3845,-126.7937 425.8845,-126.7937 422.3845,-123.6437 429.3845,-126.7936 429.3845,-126.7936"/>
<text text-anchor="start" x="284.5" y="-130.5936" font-family="Lato" font-size="14.00" fill="#000000">b & !g1 & !g2</text>
</g>
<!-- 1->3 -->
<g id="edge10" class="edge">
<title>1->3</title>
<path fill="none" stroke="#000000" d="M219.1372,-122.1058C253.2256,-113.2466 330.649,-94.1014 397,-84.7936 474.149,-73.9711 566.4298,-70.4144 609.9449,-69.2891"/>
<polygon fill="#000000" stroke="#000000" points="616.9951,-69.1173 610.074,-72.437 613.4961,-69.2027 609.9972,-69.288 609.9972,-69.288 609.9972,-69.288 613.4961,-69.2027 609.9204,-66.1389 616.9951,-69.1173 616.9951,-69.1173"/>
<text text-anchor="start" x="407.5" y="-88.5936" font-family="Lato" font-size="14.00" fill="#000000">b & g1 & !g2</text>
</g>
<!-- 1->4 -->
<g id="edge11" class="edge">
<title>1->4</title>
<path fill="none" stroke="#000000" d="M218.524,-132.9795C252.1841,-144.9945 329.812,-171.6353 397,-186.7936 473.6387,-204.0842 566.1592,-214.8627 609.8373,-219.3631"/>
<polygon fill="#000000" stroke="#000000" points="616.9148,-220.0812 609.6326,-222.5085 613.4327,-219.7279 609.9506,-219.3745 609.9506,-219.3745 609.9506,-219.3745 613.4327,-219.7279 610.2686,-216.2406 616.9148,-220.0812 616.9148,-220.0812"/>
<text text-anchor="start" x="407.5" y="-208.5936" font-family="Lato" font-size="14.00" fill="#000000">b & !g1 & g2</text>
</g>
<!-- 1->5 -->
<g id="edge12" class="edge">
<title>1->5</title>
<path fill="none" stroke="#000000" d="M216.325,-116.2379C230.4888,-106.6423 252.7658,-92.7968 274,-84.7936 407.7498,-34.3832 449.1619,-31.5493 592,-36.7936 622.2834,-37.9055 633.9601,-26.2939 660,-41.7936 693.3424,-61.6401 712.9789,-104.1361 722.5979,-131.2657"/>
<polygon fill="#000000" stroke="#000000" points="724.9393,-138.1435 719.7015,-132.5322 723.8114,-134.8303 722.6834,-131.517 722.6834,-131.517 722.6834,-131.517 723.8114,-134.8303 725.6654,-130.5018 724.9393,-138.1435 724.9393,-138.1435"/>
<text text-anchor="start" x="516" y="-55.5936" font-family="Lato" font-size="14.00" fill="#000000">b & g1 & g2</text>
<text text-anchor="start" x="546" y="-40.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
<!-- 2->2 -->
<g id="edge13" class="edge">
<title>2->2</title>
<path fill="none" stroke="#000000" d="M432.5938,-137.4811C422.6563,-149.2936 427.625,-162.7936 447.5,-162.7936 463.959,-162.7936 470.1954,-153.5355 466.2092,-143.6444"/>
<polygon fill="#000000" stroke="#000000" points="462.4063,-137.4811 468.7629,-141.7842 464.2442,-140.4598 466.0821,-143.4384 466.0821,-143.4384 466.0821,-143.4384 464.2442,-140.4598 463.4014,-145.0925 462.4063,-137.4811 462.4063,-137.4811"/>
<text text-anchor="start" x="418.5" y="-166.5936" font-family="Lato" font-size="14.00" fill="#000000">!g1 & !g2</text>
</g>
<!-- 2->3 -->
<g id="edge14" class="edge">
<title>2->3</title>
<path fill="none" stroke="#000000" d="M465.1121,-122.9551C492.592,-116.7625 547.168,-103.6443 592,-87.7936 598.555,-85.4761 605.5089,-82.597 611.8704,-79.7868"/>
<polygon fill="#000000" stroke="#000000" points="618.4939,-76.7942 613.4118,-82.547 615.3044,-78.2353 612.1148,-79.6764 612.1148,-79.6764 612.1148,-79.6764 615.3044,-78.2353 610.8178,-76.8058 618.4939,-76.7942 618.4939,-76.7942"/>
<text text-anchor="start" x="527" y="-114.5936" font-family="Lato" font-size="14.00" fill="#000000">g1 & !g2</text>
</g>
<!-- 2->4 -->
<g id="edge15" class="edge">
<title>2->4</title>
<path fill="none" stroke="#000000" d="M462.8395,-136.2413C476.441,-144.333 497.0337,-155.8962 516,-163.7936 548.5792,-177.3594 560.8375,-170.2307 592,-186.7936 600.8051,-191.4736 609.5254,-198.0973 616.7876,-204.3252"/>
<polygon fill="#000000" stroke="#000000" points="622.0341,-208.9718 614.7053,-206.6888 619.414,-206.6513 616.7938,-204.3307 616.7938,-204.3307 616.7938,-204.3307 619.414,-206.6513 618.8823,-201.9726 622.0341,-208.9718 622.0341,-208.9718"/>
<text text-anchor="start" x="527" y="-190.5936" font-family="Lato" font-size="14.00" fill="#000000">!g1 & g2</text>
</g>
<!-- 2->5 -->
<g id="edge16" class="edge">
<title>2->5</title>
<path fill="none" stroke="#000000" d="M465.6014,-128.6518C514.4342,-133.6648 648.9566,-147.4741 704.9913,-153.2264"/>
<polygon fill="#000000" stroke="#000000" points="712.0494,-153.9509 704.7642,-156.3695 708.5677,-153.5935 705.086,-153.236 705.086,-153.236 705.086,-153.236 708.5677,-153.5935 705.4077,-150.1025 712.0494,-153.9509 712.0494,-153.9509"/>
<text text-anchor="start" x="610" y="-167.5936" font-family="Lato" font-size="14.00" fill="#000000">g1 & g2</text>
<text text-anchor="start" x="627" y="-152.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
<!-- 3->3 -->
<g id="edge17" class="edge">
<title>3->3</title>
<path fill="none" stroke="#000000" d="M626.3666,-84.7097C624.1144,-94.944 626.9922,-104.7936 635,-104.7936 641.131,-104.7936 644.2548,-99.02 644.3716,-91.7205"/>
<polygon fill="#000000" stroke="#000000" points="643.6334,-84.7097 647.4992,-91.3413 644,-88.1904 644.3665,-91.6712 644.3665,-91.6712 644.3665,-91.6712 644,-88.1904 641.2338,-92.0011 643.6334,-84.7097 643.6334,-84.7097"/>
<text text-anchor="start" x="625" y="-108.5936" font-family="Lato" font-size="14.00" fill="#000000">!g2</text>
</g>
<!-- 3->5 -->
<g id="edge18" class="edge">
<title>3->5</title>
<path fill="none" stroke="#000000" d="M650.3646,-78.414C662.7801,-86.5473 680.3699,-98.9053 694,-111.7936 701.5435,-118.9266 708.9658,-127.6264 715.0929,-135.4011"/>
<polygon fill="#000000" stroke="#000000" points="719.5064,-141.1249 712.7374,-137.505 717.3692,-138.3532 715.232,-135.5815 715.232,-135.5815 715.232,-135.5815 717.3692,-138.3532 717.7265,-133.658 719.5064,-141.1249 719.5064,-141.1249"/>
<text text-anchor="start" x="678" y="-130.5936" font-family="Lato" font-size="14.00" fill="#000000">g2</text>
<text text-anchor="start" x="678" y="-115.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
<!-- 4->4 -->
<g id="edge19" class="edge">
<title>4->4</title>
<path fill="none" stroke="#000000" d="M626.3666,-237.7097C624.1144,-247.944 626.9922,-257.7936 635,-257.7936 641.131,-257.7936 644.2548,-252.02 644.3716,-244.7205"/>
<polygon fill="#000000" stroke="#000000" points="643.6334,-237.7097 647.4992,-244.3413 644,-241.1904 644.3665,-244.6712 644.3665,-244.6712 644.3665,-244.6712 644,-241.1904 641.2338,-245.0011 643.6334,-237.7097 643.6334,-237.7097"/>
<text text-anchor="start" x="625" y="-261.5936" font-family="Lato" font-size="14.00" fill="#000000">!g1</text>
</g>
<!-- 4->5 -->
<g id="edge20" class="edge">
<title>4->5</title>
<path fill="none" stroke="#000000" d="M649.8438,-211.4811C665.7847,-200.4064 691.2362,-182.7243 709.1757,-170.261"/>
<polygon fill="#000000" stroke="#000000" points="714.947,-166.2515 710.9954,-172.8325 712.0726,-168.2485 709.1981,-170.2455 709.1981,-170.2455 709.1981,-170.2455 712.0726,-168.2485 707.4009,-167.6585 714.947,-166.2515 714.947,-166.2515"/>
<text text-anchor="start" x="678" y="-208.5936" font-family="Lato" font-size="14.00" fill="#000000">g1</text>
<text text-anchor="start" x="678" y="-193.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
<!-- 5->5 -->
<g id="edge21" class="edge">
<title>5->5</title>
<path fill="none" stroke="#000000" d="M722.3321,-172.0839C720.4831,-182.1828 723.0391,-191.7936 730,-191.7936 735.2207,-191.7936 737.9636,-186.3875 738.2287,-179.424"/>
<polygon fill="#000000" stroke="#000000" points="737.6679,-172.0839 741.3421,-178.8236 737.9346,-175.5737 738.2013,-179.0636 738.2013,-179.0636 738.2013,-179.0636 737.9346,-175.5737 735.0604,-179.3036 737.6679,-172.0839 737.6679,-172.0839"/>
<text text-anchor="start" x="725.5" y="-210.5936" font-family="Lato" font-size="14.00" fill="#000000">1</text>
<text text-anchor="start" x="722" y="-195.5936" font-family="Lato" font-size="14.00" fill="#1f78b4">⓿</text>
</g>
</g>
</svg>
</div>