alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

acc::name(): recognize generalized Streett

Browse source 
* spot/twa/acc.cc: Implement this.
* tests/python/randaut.ipynb: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2017-11-05 09:26:18 +01:00
parent 62302b6046
commit 0f26125f08
2 changed files with 54 additions and 43 deletions
Download patch file Download diff file Expand all files Collapse all files

11
spot/twa/acc.cc
View file

@ -1694,6 +1694,17 @@ namespace spot
os << ' ' << p;
}
}
else if (is_generalized_streett(pairs))
{
os << gen() << "Streett";
if (!no_main_param)
{
os << ' ' << pairs.size();
if (!no_extra_param)
for (auto p: pairs)
os << ' ' << p;
}
}
else
{
bool max = false;

86
tests/python/randaut.ipynb
View file

@ -30,7 +30,7 @@
"input": [
"from IPython.display import display, HTML\n",
"import spot\n",
"spot.setup(size='5.4,5')"
"spot.setup(size='5,4')"
],
"language": "python",
"metadata": {},
@ -61,8 +61,8 @@
"outputs": [
{
"html": [
"<TABLE><TR><TH>before</TH><TH>after</TH><TR><TD><svg height=\"96pt\" viewBox=\"0.00 0.00 389.00 95.96\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.650502 0.650502) rotate(0) translate(4 143.512)\">\n",
"<TABLE><TR><TH>before</TH><TH>after</TH><TR><TD><svg height=\"89pt\" viewBox=\"0.00 0.00 360.00 88.80\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.602007 0.602007) rotate(0) translate(4 143.512)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-143.512 594,-143.512 594,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"179\" y=\"-125.312\">Fin(</text>\n",
@ -165,8 +165,8 @@
"<text fill=\"#1f78b4\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"306\" y=\"-90.3121\">\u24ff</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"96pt\" viewBox=\"0.00 0.00 389.00 95.96\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.650502 0.650502) rotate(0) translate(4 143.512)\">\n",
"</svg></TD><TD><svg height=\"89pt\" viewBox=\"0.00 0.00 360.00 88.80\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.602007 0.602007) rotate(0) translate(4 143.512)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-143.512 594,-143.512 594,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"292\" y=\"-124.312\">t</text>\n",
@ -257,8 +257,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"286.5\" y=\"-90.3121\">p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"108pt\" viewBox=\"0.00 0.00 389.00 108.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.613565 0.613565) rotate(0) translate(4 172.711)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"100pt\" viewBox=\"0.00 0.00 360.00 100.34\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.567823 0.567823) rotate(0) translate(4 172.711)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-172.711 630,-172.711 630,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"195\" y=\"-154.511\">(Fin(</text>\n",
@ -363,8 +363,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"512\" y=\"-44.5108\">p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"108pt\" viewBox=\"0.00 0.00 389.00 108.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.613565 0.613565) rotate(0) translate(4 172.711)\">\n",
"</svg></TD><TD><svg height=\"100pt\" viewBox=\"0.00 0.00 360.00 100.34\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.567823 0.567823) rotate(0) translate(4 172.711)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-172.711 630,-172.711 630,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"230\" y=\"-154.511\">(Fin(</text>\n",
@ -467,8 +467,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"512\" y=\"-44.5108\">p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.16\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.625905 0.625905) rotate(0) translate(4 172)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.95\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.579244 0.579244) rotate(0) translate(4 172)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-172 617.5,-172 617.5,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"195.25\" y=\"-153.8\">(Inf(</text>\n",
@ -584,8 +584,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"554.5\" y=\"-78.8\">!p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"118pt\" viewBox=\"0.00 0.00 389.00 118.30\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.625905 0.625905) rotate(0) translate(4 185)\">\n",
"</svg></TD><TD><svg height=\"109pt\" viewBox=\"0.00 0.00 360.00 109.48\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.579244 0.579244) rotate(0) translate(4 185)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-185 617.5,-185 617.5,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"229.75\" y=\"-166.8\">Inf(</text>\n",
@ -700,8 +700,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"554.5\" y=\"-78.8\">!p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"182pt\" viewBox=\"0.00 0.00 389.00 181.98\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.610675 0.610675) rotate(0) translate(4 294)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"168pt\" viewBox=\"0.00 0.00 360.00 168.41\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.565149 0.565149) rotate(0) translate(4 294)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-294 633,-294 633,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"209.5\" y=\"-275.8\">Inf(</text>\n",
@ -829,8 +829,8 @@
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"401.5\" y=\"-97.8\">\u2778</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"182pt\" viewBox=\"0.00 0.00 389.00 181.98\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.610675 0.610675) rotate(0) translate(4 294)\">\n",
"</svg></TD><TD><svg height=\"168pt\" viewBox=\"0.00 0.00 360.00 168.41\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.565149 0.565149) rotate(0) translate(4 294)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-294 633,-294 633,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"209.5\" y=\"-275.8\">Inf(</text>\n",
@ -958,8 +958,8 @@
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"401.5\" y=\"-97.8\">\u2778</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"178pt\" viewBox=\"0.00 0.00 389.00 178.42\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.596626 0.596626) rotate(0) translate(4 295.049)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"165pt\" viewBox=\"0.00 0.00 360.00 165.12\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.552147 0.552147) rotate(0) translate(4 295.049)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-295.049 648,-295.049 648,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"212.5\" y=\"-276.849\">((Fin(</text>\n",
@ -1083,8 +1083,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"459.5\" y=\"-101.849\">p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"177pt\" viewBox=\"0.00 0.00 389.00 177.23\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.596626 0.596626) rotate(0) translate(4 293.049)\">\n",
"</svg></TD><TD><svg height=\"164pt\" viewBox=\"0.00 0.00 360.00 164.01\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.552147 0.552147) rotate(0) translate(4 293.049)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-293.049 648,-293.049 648,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"301\" y=\"-274.849\">Inf(</text>\n",
@ -1202,8 +1202,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"459.5\" y=\"-101.849\">p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"113pt\" viewBox=\"0.00 0.00 389.00 113.48\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.63047 0.63047) rotate(0) translate(4 176)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"105pt\" viewBox=\"0.00 0.00 360.00 105.02\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.583468 0.583468) rotate(0) translate(4 176)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-176 613,-176 613,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192.5\" y=\"-157.8\">(Fin(</text>\n",
@ -1215,7 +1215,7 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"356.5\" y=\"-157.8\">)&amp;Inf(</text>\n",
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"392.5\" y=\"-157.8\">\u2778</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"408.5\" y=\"-157.8\">))</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"259\" y=\"-143.8\">[Streett-like 3]</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"257.5\" y=\"-143.8\">[gen. Streett 3]</text>\n",
"<!-- I -->\n",
"<!-- 0 -->\n",
"<g class=\"node\" id=\"node2\"><title>0</title>\n",
@ -1307,8 +1307,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"500\" y=\"-46.8\">!p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"113pt\" viewBox=\"0.00 0.00 389.00 113.48\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.63047 0.63047) rotate(0) translate(4 176)\">\n",
"</svg></TD><TD><svg height=\"105pt\" viewBox=\"0.00 0.00 360.00 105.02\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.583468 0.583468) rotate(0) translate(4 176)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-176 613,-176 613,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192.5\" y=\"-157.8\">(Fin(</text>\n",
@ -1320,7 +1320,7 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"356.5\" y=\"-157.8\">)&amp;Inf(</text>\n",
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"392.5\" y=\"-157.8\">\u2778</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"408.5\" y=\"-157.8\">))</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"259\" y=\"-143.8\">[Streett-like 3]</text>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"257.5\" y=\"-143.8\">[gen. Streett 3]</text>\n",
"<!-- I -->\n",
"<!-- 0 -->\n",
"<g class=\"node\" id=\"node2\"><title>0</title>\n",
@ -1412,8 +1412,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"500\" y=\"-46.8\">!p0 &amp; p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"148pt\" viewBox=\"0.00 0.00 389.00 147.92\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.62945 0.62945) rotate(0) translate(4 231)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"137pt\" viewBox=\"0.00 0.00 360.00 136.89\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.582524 0.582524) rotate(0) translate(4 231)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-231 614,-231 614,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192\" y=\"-212.8\">(Fin(</text>\n",
@ -1530,8 +1530,8 @@
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"457\" y=\"-117.8\">\u2778</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"148pt\" viewBox=\"0.00 0.00 389.00 147.92\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.62945 0.62945) rotate(0) translate(4 231)\">\n",
"</svg></TD><TD><svg height=\"137pt\" viewBox=\"0.00 0.00 360.00 136.89\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.582524 0.582524) rotate(0) translate(4 231)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-231 614,-231 614,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"192\" y=\"-212.8\">(Fin(</text>\n",
@ -1648,8 +1648,8 @@
"<text fill=\"#6a3d9a\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"457\" y=\"-117.8\">\u2778</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"163pt\" viewBox=\"0.00 0.00 389.00 162.97\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.838362 0.838362) rotate(0) translate(4 190.397)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"151pt\" viewBox=\"0.00 0.00 360.00 150.83\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.775862 0.775862) rotate(0) translate(4 190.397)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-190.397 460,-190.397 460,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"118.5\" y=\"-172.197\">((Fin(</text>\n",
@ -1741,8 +1741,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"345\" y=\"-78.1967\">p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"163pt\" viewBox=\"0.00 0.00 389.00 162.97\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.838362 0.838362) rotate(0) translate(4 190.397)\">\n",
"</svg></TD><TD><svg height=\"151pt\" viewBox=\"0.00 0.00 360.00 150.83\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.775862 0.775862) rotate(0) translate(4 190.397)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-190.397 460,-190.397 460,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"148.5\" y=\"-172.197\">(Fin(</text>\n",
@ -1832,8 +1832,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"345\" y=\"-78.1967\">p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"135pt\" viewBox=\"0.00 0.00 389.00 135.37\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.595712 0.595712) rotate(0) translate(4 223.248)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"125pt\" viewBox=\"0.00 0.00 360.00 125.28\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.551302 0.551302) rotate(0) translate(4 223.248)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-223.248 649,-223.248 649,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"213\" y=\"-205.048\">(Inf(</text>\n",
@ -1960,8 +1960,8 @@
"<text fill=\"#ff7f00\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"553.5\" y=\"-39.0475\">\u2777</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"135pt\" viewBox=\"0.00 0.00 389.00 135.37\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.595712 0.595712) rotate(0) translate(4 223.248)\">\n",
"</svg></TD><TD><svg height=\"125pt\" viewBox=\"0.00 0.00 360.00 125.28\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.551302 0.551302) rotate(0) translate(4 223.248)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-223.248 649,-223.248 649,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"213\" y=\"-205.048\">(Inf(</text>\n",
@ -2088,8 +2088,8 @@
"<text fill=\"#ff7f00\" font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"553.5\" y=\"-39.0475\">\u2777</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD></TR><TR><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.14\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.636661 0.636661) rotate(0) translate(4 169)\">\n",
"</svg></TD></TR><TR><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.93\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.589198 0.589198) rotate(0) translate(4 169)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-169 607,-169 607,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"190.5\" y=\"-150.8\">(Fin(</text>\n",
@ -2181,8 +2181,8 @@
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"368\" y=\"-26.8\">p0 &amp; !p1</text>\n",
"</g>\n",
"</g>\n",
"</svg></TD><TD><svg height=\"110pt\" viewBox=\"0.00 0.00 389.00 110.14\" width=\"389pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.636661 0.636661) rotate(0) translate(4 169)\">\n",
"</svg></TD><TD><svg height=\"102pt\" viewBox=\"0.00 0.00 360.00 101.93\" width=\"360pt\" xmlns=\"http://www.w3.org/2000/svg\" xmlns:xlink=\"http://www.w3.org/1999/xlink\">\n",
"<g class=\"graph\" id=\"graph0\" transform=\"scale(0.589198 0.589198) rotate(0) translate(4 169)\">\n",
"<title>G</title>\n",
"<polygon fill=\"white\" points=\"-4,4 -4,-169 607,-169 607,4 -4,4\" stroke=\"none\"/>\n",
"<text font-family=\"Lato\" font-size=\"14.00\" text-anchor=\"start\" x=\"190.5\" y=\"-150.8\">(Fin(</text>\n",