From e041db6101644e8092975cdadb964371946f6826 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 3 Aug 2017 14:32:11 +0200 Subject: [PATCH] dot: extend the palette from 9 to 16 colors Let's close #212 even if this does not cover the 32 sets. * spot/twaalgos/dot.cc: Change the palette. * doc/org/autfilt.org, NEWS: Adjust documentation. * tests/core/alternating.test, tests/core/readsave.test, tests/core/tgbagraph.test, tests/python/_altscc.ipynb, tests/python/alternation.ipynb, tests/python/atva16-fig2a.ipynb, tests/python/automata-io.ipynb, tests/python/automata.ipynb, tests/python/decompose.ipynb, tests/python/gen.ipynb, tests/python/highlighting.ipynb, tests/python/ltsmin-dve.ipynb, tests/python/piperead.ipynb, tests/python/product.ipynb, tests/python/randaut.ipynb, tests/python/word.ipynb: Adjust test cases. --- NEWS | 4 + doc/org/autfilt.org | 4 +- spot/twaalgos/dot.cc | 26 +- tests/core/alternating.test | 1010 +++++++++++++++++++++++++++++-- tests/core/readsave.test | 20 +- tests/core/tgbagraph.test | 6 +- tests/python/_altscc.ipynb | 54 +- tests/python/alternation.ipynb | 162 ++--- tests/python/atva16-fig2a.ipynb | 16 +- tests/python/automata-io.ipynb | 6 +- tests/python/automata.ipynb | 242 ++++---- tests/python/decompose.ipynb | 326 +++++----- tests/python/gen.ipynb | 2 +- tests/python/highlighting.ipynb | 228 +++---- tests/python/ltsmin-dve.ipynb | 2 +- tests/python/piperead.ipynb | 4 +- tests/python/product.ipynb | 410 ++++++------- tests/python/randaut.ipynb | 436 ++++++------- tests/python/word.ipynb | 6 +- 19 files changed, 1953 insertions(+), 1011 deletions(-) diff --git a/NEWS b/NEWS index aa55c12b1..f04b027bb 100644 --- a/NEWS +++ b/NEWS @@ -211,6 +211,10 @@ New in spot 2.3.5.dev (not yet released) - spot::acc_cond::mark_t::sets() now returns an internal iterable object instead of an std::vector. + - The color palette optionally used by print_dot() has been extended + from 9 to 16 colors. While the first 8 colors are similar, they + are a bit more saturated now. + Deprecation notice: - spot::decompose_strength() is deprecated, it has been renamed diff --git a/doc/org/autfilt.org b/doc/org/autfilt.org index bb5465c08..20ba7b268 100644 --- a/doc/org/autfilt.org +++ b/doc/org/autfilt.org @@ -423,8 +423,8 @@ autfilt --help | sed -n '/^ *Decorations.*:/,/^$/p' | sed '1d;$d' : --highlight-word=[NUM,]WORD : highlight one run matching WORD using color NUM -Color numbers are indices in some unspecified color palette. It is -the same palette that is currently used to display colored acceptance +Color numbers are indices in some hard-coded color palette. It is the +same palette that is currently used to display colored acceptance sets, but this might change in the future. * Examples diff --git a/spot/twaalgos/dot.cc b/spot/twaalgos/dot.cc index 2678df55a..fd0c1e4f4 100644 --- a/spot/twaalgos/dot.cc +++ b/spot/twaalgos/dot.cc @@ -47,16 +47,24 @@ namespace spot static constexpr const char palette[][8] = { - "#5DA5DA", /* blue */ - "#F17CB0", /* pink */ - "#FAA43A", /* orange */ - "#B276B2", /* purple */ - "#60BD68", /* green */ - "#F15854", /* red */ - "#B2912F", /* brown */ - "#4D4D4D", /* gray */ - "#DECF3F", /* yellow */ + "#1F78B4", /* blue */ + "#FF4DA0", /* pink */ + "#FF7F00", /* orange */ + "#6A3D9A", /* purple */ + "#33A02C", /* green */ + "#E31A1C", /* red */ + "#C4C400", /* yellowish */ + "#505050", /* gray */ + "#6BF6FF", /* light blue */ + "#FF9AFF", /* light pink */ + "#FF9C67", /* light orange */ + "#B2A4FF", /* light purple */ + "#A7ED79", /* light green */ + "#FF6868", /* light red */ + "#FFE040", /* light yellowish */ + "#C0C090", /* light gray */ }; + constexpr int palette_mod = sizeof(palette) / sizeof(*palette); class dotty_output final diff --git a/tests/core/alternating.test b/tests/core/alternating.test index 614faacc3..8bad81e12 100755 --- a/tests/core/alternating.test +++ b/tests/core/alternating.test @@ -105,18 +105,18 @@ digraph G { -1 [label=<>,shape=point] -1 -> 1 -1 -> 3 - 0 -> -4 [label="a & !b", style=bold, color="#F15854", arrowhead=onormal] + 0 -> -4 [label="a & !b", style=bold, color="#E31A1C", arrowhead=onormal] -4 [label=<>,shape=point] - -4 -> 1 [style=bold, color="#F15854"] - -4 -> 3 [style=bold, color="#F15854"] - -4 -> 5 [style=bold, color="#F15854"] + -4 -> 1 [style=bold, color="#E31A1C"] + -4 -> 3 [style=bold, color="#E31A1C"] + -4 -> 5 [style=bold, color="#E31A1C"] 1 -> 2 [label="a"] 1 -> 1 [label="1"] 2 -> 2 [label="a"] 3 -> 3 [label="b"] - 3 -> -8 [label="!b", style=bold, color="#FAA43A", arrowhead=onormal] - -8 -> 3 [style=bold, color="#FAA43A"] - -8 -> 4 [style=bold, color="#FAA43A"] + 3 -> -8 [label="!b", style=bold, color="#FF7F00", arrowhead=onormal] + -8 -> 3 [style=bold, color="#FF7F00"] + -8 -> 4 [style=bold, color="#FF7F00"] 4 -> 6 [label="b"] 4 -> 4 [label="!b"] 5 -> 6 [label="b"] @@ -500,7 +500,937 @@ style='arrowhead=onormal' cat >expect6.dot<⓿)> + label=ex2<ex3<ex4<expect4<expect4d< out4 +diff expect4 out4 +run 0 autfilt --remove-dead-states ex4 > out4 +diff expect4d out4 + + +cat >ex5< out5 +cat >expect <ex6< ex6.dot + +style='arrowhead=onormal' +cat >expect6.dot<ex2<ex3<ex4<expect4<expect4d< out4 +diff expect4 out4 +run 0 autfilt --remove-dead-states ex4 > out4 +diff expect4d out4 + + +cat >ex5< out5 +cat >expect <ex6< ex6.dot + +style='arrowhead=onormal' +cat >expect6.dot<ex2<ex3<ex4<expect4<expect4d< out4 +diff expect4 out4 +run 0 autfilt --remove-dead-states ex4 > out4 +diff expect4d out4 + + +cat >ex5< out5 +cat >expect <ex6< ex6.dot + +style='arrowhead=onormal' +cat >expect6.dot<⓿)> labelloc="t" node [shape="circle"] fontname="Lato" @@ -513,14 +1443,14 @@ digraph G { -1 -> 1 0 [label=<0>] 0 -> 0 [label=] - 0 -> -1.1 [label=, style=bold, color="#F17CB0", $style] + 0 -> -1.1 [label=, style=bold, color="#FF4DA0", $style] -1.1 [label=<>,shape=point] - -1.1 -> 0 [style=bold, color="#F17CB0"] - -1.1 -> 1 [style=bold, color="#F17CB0"] - 0 -> -1.2 [label=, style=bold, color="#FAA43A", $style] + -1.1 -> 0 [style=bold, color="#FF4DA0"] + -1.1 -> 1 [style=bold, color="#FF4DA0"] + 0 -> -1.2 [label=, style=bold, color="#FF7F00", $style] -1.2 [label=<>,shape=point] - -1.2 -> 0 [style=bold, color="#FAA43A"] - -1.2 -> 1 [style=bold, color="#FAA43A"] + -1.2 -> 0 [style=bold, color="#FF7F00"] + -1.2 -> 1 [style=bold, color="#FF7F00"] 1 [label=<1>] 1 -> 1 [label=] } @@ -559,11 +1489,11 @@ EOF run 0 autfilt --dot='sbarf(Lato)' ex7 > ex7.dot -color='⓿' +color='⓿' cat >expect7.dot<❶) & Fin($color)> + label=❶) & Fin($color)> labelloc="t" fontname="Lato" node [fontname="Lato"] @@ -616,9 +1546,9 @@ digraph G { -10 -> 3 1 -> 1 [label=] 2 -> 4 [label=] - 2 -> 2 [label=❶>] + 2 -> 2 [label=❶>] 3 -> 4 [label=] - 3 -> 3 [label=⓿>] + 3 -> 3 [label=⓿>] 4 -> 4 [label=<1>] } EOF @@ -659,7 +1589,7 @@ run 0 autfilt --dot='sbarf(Lato)' ex8 > ex8.dot cat >expect8.dot<❶) & Fin($color)> + label=❶) & Fin($color)> labelloc="t" fontname="Lato" node [fontname="Lato"] @@ -708,9 +1638,9 @@ digraph G { -10 -> 2 -10 -> 3 2 -> 4 [label=] - 2 -> 2 [label=❶>] + 2 -> 2 [label=❶>] 3 -> 4 [label=] - 3 -> 3 [label=⓿>] + 3 -> 3 [label=⓿>] 4 -> 4 [label=<1>] } EOF @@ -739,7 +1669,7 @@ run 0 autfilt --dot='baryf(Lato)' ex9 > ex9.dot cat >expect9.dot <⓿)> + label=⓿)> labelloc="t" node [shape="circle"] fontname="Lato" @@ -748,17 +1678,17 @@ digraph G { I [label="", style=invis, width=0] I -> 0 0 [label=<0>] - 0 -> -1.1 [label=, style=bold, color="#F17CB0", arrowhead=onormal] + 0 -> -1.1 [label=, style=bold, color="#FF4DA0", arrowhead=onormal] -1.1 [label=<>,shape=point] - -1.1 -> 1 [style=bold, color="#F17CB0"] - -1.1 -> 2 [style=bold, color="#F17CB0"] + -1.1 -> 1 [style=bold, color="#FF4DA0"] + -1.1 -> 2 [style=bold, color="#FF4DA0"] 1 [label=<1>] - 1 -> -1.1 [label=, style=bold, color="#F17CB0", arrowhead=onormal] + 1 -> -1.1 [label=, style=bold, color="#FF4DA0", arrowhead=onormal] 2 [label=<2>] - 2 -> -1.2 [label=, style=bold, color="#FAA43A", $style] + 2 -> -1.2 [label=, style=bold, color="#FF7F00", $style] -1.2 [label=<>,shape=point] - -1.2 -> 1 [style=bold, color="#FAA43A"] - -1.2 -> 2 [style=bold, color="#FAA43A"] + -1.2 -> 1 [style=bold, color="#FF7F00"] + -1.2 -> 2 [style=bold, color="#FF7F00"] } EOF @@ -786,7 +1716,7 @@ run 0 autfilt --dot='baryf(Lato)' ex10 > ex10.dot cat >expect10.dot <⓿)> + label=⓿)> labelloc="t" node [shape="circle"] fontname="Lato" @@ -795,20 +1725,20 @@ digraph G { I [label="", style=invis, width=0] I -> 0 0 [label=<0>] - 0 -> -1.1 [label=, style=bold, color="#F17CB0", arrowhead=onormal] + 0 -> -1.1 [label=, style=bold, color="#FF4DA0", arrowhead=onormal] -1.1 [label=<>,shape=point] - -1.1 -> 1 [style=bold, color="#F17CB0"] - -1.1 -> 2 [style=bold, color="#F17CB0"] + -1.1 -> 1 [style=bold, color="#FF4DA0"] + -1.1 -> 2 [style=bold, color="#FF4DA0"] 1 [label=<1>] - 1 -> -1.3 [label=, style=bold, color="#B276B2", arrowhead=onormal] + 1 -> -1.3 [label=, style=bold, color="#6A3D9A", arrowhead=onormal] -1.3 [label=<>,shape=point] - -1.3 -> 1 [style=bold, color="#B276B2"] - -1.3 -> 2 [style=bold, color="#B276B2"] + -1.3 -> 1 [style=bold, color="#6A3D9A"] + -1.3 -> 2 [style=bold, color="#6A3D9A"] 2 [label=<2>] - 2 -> -1.2 [label=, style=bold, color="#FAA43A", $style] + 2 -> -1.2 [label=, style=bold, color="#FF7F00", $style] -1.2 [label=<>,shape=point] - -1.2 -> 1 [style=bold, color="#FAA43A"] - -1.2 -> 2 [style=bold, color="#FAA43A"] + -1.2 -> 1 [style=bold, color="#FF7F00"] + -1.2 -> 2 [style=bold, color="#FF7F00"] } EOF @@ -842,7 +1772,7 @@ run 2 autfilt --dot='sbarf(Lato)' ex11 > ex11.dot cat >expect11.dot <⓿)> + label=⓿)> labelloc="t" fontname="Lato" node [fontname="Lato"] diff --git a/tests/core/readsave.test b/tests/core/readsave.test index 22eed2502..90005c2f2 100755 --- a/tests/core/readsave.test +++ b/tests/core/readsave.test @@ -394,8 +394,8 @@ diff output expected SPOT_DOTDEFAULT=bra ltl2tgba --dot='e.f(Lato)' 'GFa & GFb' >output cat output -zero='⓿' -one='❶' +zero='⓿' +one='❶' cat >expected <output6d2 cat >expect6d2 <⓿)> + label=⓿)> labelloc="t" I [label="", style=invis, width=0] I -> 1 @@ -903,7 +903,7 @@ digraph G { 1 [label=<1
a>] 1 -> 0 [label=<>] 1 -> 1 [label=<>] - 2 [label=<2
⓿
a>] + 2 [label=<2
⓿
a>] 2 -> 2 [label=<>] 2 -> 0 [label=<>] 2 -> 1 [label=<>] @@ -1013,13 +1013,13 @@ digraph G { node [shape="circle"] I [label="", style=invis, width=0] I -> 2 - 0 [label="0", peripheries=2, style="bold", color="#5DA5DA"] - 0 -> 0 [label="1", style=bold, color="#5DA5DA"] + 0 [label="0", peripheries=2, style="bold", color="#1F78B4"] + 0 -> 0 [label="1", style=bold, color="#1F78B4"] 1 [label="1"] - 1 -> 0 [label="c", style=bold, color="#F17CB0"] - 1 -> 1 [label="b & !c", style=bold, color="#FAA43A"] - 2 [label="2", style="bold", color="#B276B2"] - 2 -> 0 [label="c", style=bold, color="#B276B2"] + 1 -> 0 [label="c", style=bold, color="#FF4DA0"] + 1 -> 1 [label="b & !c", style=bold, color="#FF7F00"] + 2 [label="2", style="bold", color="#6A3D9A"] + 2 -> 0 [label="c", style=bold, color="#6A3D9A"] 2 -> 1 [label="!a & b & !c"] 2 -> 2 [label="a & !c"] } diff --git a/tests/core/tgbagraph.test b/tests/core/tgbagraph.test index 8d6ba3114..7f2d73893 100755 --- a/tests/core/tgbagraph.test +++ b/tests/core/tgbagraph.test @@ -226,16 +226,16 @@ digraph G { node [shape="circle"] I [label="", style=invis, width=0] I -> 2 - 0 [label="s1", style="bold", color="#F15854"] + 0 [label="s1", style="bold", color="#E31A1C"] 1 [label="s2"] - 2 [label="s3", style="bold", color="#4D4D4D"] + 2 [label="s3", style="bold", color="#505050"] } digraph G { rankdir=LR node [shape="circle"] I [label="", style=invis, width=0] I -> 0 - 0 [label="s3", style="bold", color="#4D4D4D"] + 0 [label="s3", style="bold", color="#505050"] } HOA: v1.1 States: 3 diff --git a/tests/python/_altscc.ipynb b/tests/python/_altscc.ipynb index 4fd410b24..30aaa5aa6 100644 --- a/tests/python/_altscc.ipynb +++ b/tests/python/_altscc.ipynb @@ -84,7 +84,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -127,7 +127,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -196,7 +196,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -245,7 +245,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -298,7 +298,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -338,7 +338,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -401,7 +401,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -433,7 +433,7 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1\n", @@ -504,7 +504,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -525,7 +525,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -547,7 +547,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1->0\n", @@ -647,7 +647,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -700,7 +700,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1->2\n", @@ -735,7 +735,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -777,7 +777,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -823,7 +823,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -872,10 +872,10 @@ "\n", "\n", "1->-1\n", - "\n", - "\n", + "\n", + "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1->1\n", @@ -915,7 +915,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -964,20 +964,20 @@ "\n", "\n", "1->-1.2\n", - "\n", - "\n", + "\n", + "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1.2->1\n", - "\n", - "\n", + "\n", + "\n", "\n", "\n", "-1.2->2\n", - "\n", - "\n", + "\n", + "\n", "\n", "\n", "-1\n", diff --git a/tests/python/alternation.ipynb b/tests/python/alternation.ipynb index b9aea5adc..abedb0f0c 100644 --- a/tests/python/alternation.ipynb +++ b/tests/python/alternation.ipynb @@ -89,7 +89,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -126,7 +126,7 @@ "3\n", "\n", "3\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1->3\n", @@ -175,7 +175,7 @@ "2\n", "\n", "2\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-4->2\n", @@ -247,9 +247,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -272,15 +272,15 @@ "\n", "\n", "1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->1\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -292,8 +292,8 @@ "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3\n", @@ -305,7 +305,7 @@ "\n", "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -317,39 +317,39 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->4\n", "\n", "\n", "a & !b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->1\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->3\n", @@ -362,22 +362,22 @@ "\n", "\n", "a & !b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4->2\n", "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->4\n", "\n", "\n", "a & !b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n" @@ -415,7 +415,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -483,14 +483,14 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->4\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->1\n", @@ -521,7 +521,7 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", @@ -578,14 +578,14 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "I->0\n", @@ -596,7 +596,7 @@ "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -695,7 +695,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -729,7 +729,7 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->0\n", @@ -748,7 +748,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -766,7 +766,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->0\n", @@ -785,7 +785,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -845,7 +845,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -872,13 +872,13 @@ "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -998,7 +998,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1021,14 +1021,14 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->0\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -1068,7 +1068,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", @@ -1103,7 +1103,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", @@ -1197,7 +1197,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1213,7 +1213,7 @@ "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-7->0\n", @@ -1234,7 +1234,7 @@ "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -1322,7 +1322,7 @@ "4\n", "\n", "4\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-4->4\n", @@ -1388,9 +1388,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -1413,7 +1413,7 @@ "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -1425,23 +1425,23 @@ "\n", "\n", "!a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->1\n", "\n", "\n", "a & !b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4\n", @@ -1453,7 +1453,7 @@ "\n", "\n", "!a & !b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "5\n", @@ -1465,7 +1465,7 @@ "\n", "\n", "!a & b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "6\n", @@ -1477,14 +1477,14 @@ "\n", "\n", "a & b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -1496,22 +1496,22 @@ "\n", "\n", "a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->1\n", "\n", "\n", "a & !b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", @@ -1530,66 +1530,66 @@ "\n", "\n", "a & b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "5->1\n", "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "5->2\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "6->1\n", "\n", "\n", "a & !b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "6->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "6->5\n", "\n", "\n", "!a & b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "6->6\n", "\n", "\n", "a & b & p\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->2\n", "\n", "\n", "!a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->3\n", "\n", "\n", "a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "\n" @@ -1646,7 +1646,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1678,7 +1678,7 @@ "1\n", "\n", "F(a)\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "-1->1\n", @@ -1744,7 +1744,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1767,7 +1767,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -1780,7 +1780,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" diff --git a/tests/python/atva16-fig2a.ipynb b/tests/python/atva16-fig2a.ipynb index 7f0aaa398..09bfa938a 100644 --- a/tests/python/atva16-fig2a.ipynb +++ b/tests/python/atva16-fig2a.ipynb @@ -92,9 +92,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -140,7 +140,7 @@ "\n", "\n", "!a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -153,23 +153,23 @@ "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->1\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "\n" diff --git a/tests/python/automata-io.ipynb b/tests/python/automata-io.ipynb index ccd65aa77..fd7c1b2fb 100644 --- a/tests/python/automata-io.ipynb +++ b/tests/python/automata-io.ipynb @@ -589,15 +589,15 @@ "\n", "\n", "1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "0->0\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" diff --git a/tests/python/automata.ipynb b/tests/python/automata.ipynb index 336f0f3ee..4358b58b1 100644 --- a/tests/python/automata.ipynb +++ b/tests/python/automata.ipynb @@ -348,7 +348,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -403,7 +403,7 @@ "\n", "\n", "c & d\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -415,7 +415,7 @@ "\n", "\n", "!c & d\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -427,7 +427,7 @@ "\n", "\n", "!d\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->1\n", @@ -1126,7 +1126,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -1169,7 +1169,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -1257,7 +1257,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -1270,7 +1270,7 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -1487,7 +1487,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -1842,14 +1842,14 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "9->10\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "11\n", @@ -1861,7 +1861,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "12\n", @@ -1873,91 +1873,91 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "10->9\n", "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "10->10\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "10->11\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "10->12\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "11->9\n", "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "11->10\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "11->11\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "11->12\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "12->9\n", "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "12->10\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "12->11\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "12->12\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -2057,17 +2057,17 @@ "G\n", "\n", "(Inf(\n", - "\u24ff\n", + "\u24ff\n", ") & Fin(\n", - "\u2776\n", + "\u2776\n", ") & Fin(\n", - "\u2778\n", + "\u2778\n", ")) | (Inf(\n", - "\u2777\n", + "\u2777\n", ")&Inf(\n", - "\u2778\n", + "\u2778\n", ")) | Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -2085,7 +2085,7 @@ "\n", "\n", "1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1\n", @@ -2097,8 +2097,8 @@ "\n", "\n", "a\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2\n", @@ -2110,31 +2110,31 @@ "\n", "\n", "!a\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "1->0\n", "\n", "\n", "b\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1->1\n", "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "1->2\n", "\n", "\n", "!a & b\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -2147,14 +2147,14 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "" @@ -2172,13 +2172,13 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ") | (Inf(\n", - "\u2777\n", + "\u2777\n", ")&Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "\n", "\n", @@ -2196,7 +2196,7 @@ "\n", "\n", "1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1\n", @@ -2208,8 +2208,8 @@ "\n", "\n", "a\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2\n", @@ -2221,29 +2221,29 @@ "\n", "\n", "!a\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1->0\n", "\n", "\n", "b\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1->1\n", "\n", "\n", "a & b\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1->2\n", "\n", "\n", "!a & b\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -2279,7 +2279,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "" @@ -2297,7 +2297,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -2326,7 +2326,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -2356,7 +2356,7 @@ "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -2421,7 +2421,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "" @@ -2636,7 +2636,7 @@ "\n", "\n", "1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1\n", @@ -2648,8 +2648,8 @@ "\n", "\n", "a\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2\n", @@ -2661,31 +2661,31 @@ "\n", "\n", "!a\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "1->0\n", "\n", "\n", "b\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1->1\n", "\n", "\n", "a & b\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "1->2\n", "\n", "\n", "!a & b\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "3\n", @@ -2709,14 +2709,14 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", @@ -2833,7 +2833,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -2851,7 +2851,7 @@ "\n", "\n", "a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0\n", @@ -2863,14 +2863,14 @@ "\n", "\n", "c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "" @@ -2888,7 +2888,7 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -2923,7 +2923,7 @@ "\n", "\n", "1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "" @@ -2941,9 +2941,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -2961,7 +2961,7 @@ "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -2973,7 +2973,7 @@ "\n", "\n", "b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -2985,7 +2985,7 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -2997,45 +2997,45 @@ "\n", "\n", "a & b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->1\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->1\n", "\n", "\n", "c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->3\n", "\n", "\n", "a & !c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "" @@ -3053,9 +3053,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -3073,7 +3073,7 @@ "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -3085,7 +3085,7 @@ "\n", "\n", "b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -3097,7 +3097,7 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -3109,45 +3109,45 @@ "\n", "\n", "a & b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->1\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->1\n", "\n", "\n", "c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->3\n", "\n", "\n", "a & !c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "" @@ -3225,7 +3225,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -3263,9 +3263,9 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -3294,21 +3294,21 @@ "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->0\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "" @@ -3379,21 +3379,21 @@ "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->0\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n" @@ -3468,21 +3468,21 @@ "\n", "\n", "a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->0\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n" @@ -3557,21 +3557,21 @@ "\n", "\n", "a & b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->0\n", "\n", "\n", "!a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n" diff --git a/tests/python/decompose.ipynb b/tests/python/decompose.ipynb index 28d31e78e..fb340e0ca 100644 --- a/tests/python/decompose.ipynb +++ b/tests/python/decompose.ipynb @@ -86,7 +86,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -116,7 +116,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -156,14 +156,14 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -187,7 +187,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->1\n", @@ -258,7 +258,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -310,7 +310,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->0\n", @@ -367,7 +367,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -422,7 +422,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -508,7 +508,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -529,7 +529,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -547,7 +547,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -603,7 +603,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -630,7 +630,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -680,7 +680,7 @@ "\n", "option: sw\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -704,7 +704,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -733,14 +733,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->0\n", "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", @@ -772,7 +772,7 @@ "\n", "option: st\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -799,7 +799,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -828,7 +828,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -852,7 +852,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->1\n", @@ -896,7 +896,7 @@ "\n", "option: wt\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -965,14 +965,14 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -1123,13 +1123,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")) | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -1157,7 +1157,7 @@ "2\n", "\n", "2\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "I->2\n", @@ -1168,8 +1168,8 @@ "6\n", "\n", "6\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->6\n", @@ -1181,8 +1181,8 @@ "5\n", "\n", "5\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->5\n", @@ -1194,8 +1194,8 @@ "3\n", "\n", "3\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->3\n", @@ -1207,8 +1207,8 @@ "4\n", "\n", "4\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->4\n", @@ -1226,7 +1226,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->6\n", @@ -1244,7 +1244,7 @@ "8\n", "\n", "8\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "8->6\n", @@ -1268,7 +1268,7 @@ "0\n", "\n", "0\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->6\n", @@ -1316,7 +1316,7 @@ "7\n", "\n", "7\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "5->7\n", @@ -1466,7 +1466,7 @@ "\n", "terminal\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -1504,7 +1504,7 @@ "4\n", "\n", "4\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->4\n", @@ -1769,7 +1769,7 @@ "\n", "strictly weak\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -1834,7 +1834,7 @@ "6\n", "\n", "6\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "6->6\n", @@ -1966,13 +1966,13 @@ "\n", "strong\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")) | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -2001,8 +2001,8 @@ "3\n", "\n", "3\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->3\n", @@ -2036,7 +2036,7 @@ "4\n", "\n", "4\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->4\n", @@ -2066,7 +2066,7 @@ "5\n", "\n", "5\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3->5\n", @@ -2167,13 +2167,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")) | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -2211,8 +2211,8 @@ "4\n", "\n", "4\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->4\n", @@ -2224,8 +2224,8 @@ "3\n", "\n", "3\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->3\n", @@ -2305,7 +2305,7 @@ "5\n", "\n", "5\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "5->4\n", @@ -2353,7 +2353,7 @@ "6\n", "\n", "6\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3->6\n", @@ -2503,7 +2503,7 @@ "\n", "inherently terminal\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -2535,7 +2535,7 @@ "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->0\n", @@ -2625,7 +2625,7 @@ "\n", "strictly inherently weak\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -2676,7 +2676,7 @@ "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -2744,13 +2744,13 @@ "\n", "strong\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")) | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -2779,8 +2779,8 @@ "3\n", "\n", "3\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->3\n", @@ -2820,7 +2820,7 @@ "4\n", "\n", "4\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "3->4\n", @@ -2832,7 +2832,7 @@ "5\n", "\n", "5\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3->5\n", @@ -2998,13 +2998,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ")) & (Fin(\n", - "\u2777\n", + "\u2777\n", ") | Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -3026,7 +3026,7 @@ "7\n", "\n", "7\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "I->7\n", @@ -3043,8 +3043,8 @@ "4\n", "\n", "4\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "7->4\n", @@ -3056,7 +3056,7 @@ "2\n", "\n", "2\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "7->2\n", @@ -3068,7 +3068,7 @@ "6\n", "\n", "6\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "7->6\n", @@ -3086,8 +3086,8 @@ "3\n", "\n", "3\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "3->4\n", @@ -3105,7 +3105,7 @@ "0\n", "\n", "0\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->4\n", @@ -3129,7 +3129,7 @@ "5\n", "\n", "5\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "5->4\n", @@ -3177,7 +3177,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "2->1\n", @@ -3296,7 +3296,7 @@ "\n", "inherently terminal\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -3318,7 +3318,7 @@ "0\n", "\n", "0\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "I->0\n", @@ -3335,7 +3335,7 @@ "2\n", "\n", "2\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->2\n", @@ -3347,7 +3347,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->1\n", @@ -3359,7 +3359,7 @@ "3\n", "\n", "3\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->3\n", @@ -3377,7 +3377,7 @@ "4\n", "\n", "4\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->2\n", @@ -3395,7 +3395,7 @@ "7\n", "\n", "7\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "7->2\n", @@ -3419,7 +3419,7 @@ "5\n", "\n", "5\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "5->2\n", @@ -3467,7 +3467,7 @@ "6\n", "\n", "6\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->6\n", @@ -3571,7 +3571,7 @@ "\n", "strictly inherently weak\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -3584,7 +3584,7 @@ "0\n", "\n", "0\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "I->0\n", @@ -3601,7 +3601,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->1\n", @@ -3613,7 +3613,7 @@ "2\n", "\n", "2\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->2\n", @@ -3625,7 +3625,7 @@ "3\n", "\n", "3\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -3649,7 +3649,7 @@ "4\n", "\n", "4\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->4\n", @@ -3723,13 +3723,13 @@ "\n", "strong\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ")) & (Fin(\n", - "\u2777\n", + "\u2777\n", ") | Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -3739,7 +3739,7 @@ "0\n", "\n", "0\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "I->0\n", @@ -3756,7 +3756,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->1\n", @@ -3768,7 +3768,7 @@ "2\n", "\n", "2\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "0->2\n", @@ -3792,7 +3792,7 @@ "3\n", "\n", "3\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->3\n", @@ -3881,13 +3881,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ")) & (Fin(\n", - "\u2777\n", + "\u2777\n", ") | Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "cluster_0\n", "\n", @@ -3909,7 +3909,7 @@ "0\n", "\n", "0\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "I->0\n", @@ -3926,8 +3926,8 @@ "2\n", "\n", "2\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "0->2\n", @@ -3939,7 +3939,7 @@ "1\n", "\n", "1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "0->1\n", @@ -3951,7 +3951,7 @@ "3\n", "\n", "3\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "0->3\n", @@ -3969,7 +3969,7 @@ "4\n", "\n", "4\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->2\n", @@ -3987,7 +3987,7 @@ "7\n", "\n", "7\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "7->2\n", @@ -4011,7 +4011,7 @@ "5\n", "\n", "5\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "5->2\n", @@ -4059,7 +4059,7 @@ "6\n", "\n", "6\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->6\n", @@ -4298,7 +4298,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4311,7 +4311,7 @@ "0\n", "\n", "0\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "I->0\n", @@ -4328,7 +4328,7 @@ "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -4365,7 +4365,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4394,7 +4394,7 @@ "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -4451,7 +4451,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4480,7 +4480,7 @@ "1\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->1\n", @@ -4566,9 +4566,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ") | Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4617,7 +4617,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -4635,7 +4635,7 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", @@ -4698,7 +4698,7 @@ "\n", "terminal\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4747,7 +4747,7 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -4802,7 +4802,7 @@ "\n", "strictly weak\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4826,7 +4826,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -4838,14 +4838,14 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -4857,14 +4857,14 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->1\n", "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -4897,7 +4897,7 @@ "\n", "all strengths\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -4924,7 +4924,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -4936,7 +4936,7 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -4948,14 +4948,14 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -4967,21 +4967,21 @@ "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->1\n", "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -5045,7 +5045,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -5075,7 +5075,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -5115,14 +5115,14 @@ "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -5146,7 +5146,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->1\n", @@ -5190,7 +5190,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -5245,7 +5245,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -5319,7 +5319,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "cluster_0\n", "\n", @@ -5340,7 +5340,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -5358,7 +5358,7 @@ "\n", "\n", "!a & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", diff --git a/tests/python/gen.ipynb b/tests/python/gen.ipynb index 5b540ddd6..78df07d53 100644 --- a/tests/python/gen.ipynb +++ b/tests/python/gen.ipynb @@ -319,7 +319,7 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", diff --git a/tests/python/highlighting.ipynb b/tests/python/highlighting.ipynb index ac3fdf7ea..b746cd887 100644 --- a/tests/python/highlighting.ipynb +++ b/tests/python/highlighting.ipynb @@ -217,8 +217,8 @@ "\n", "\n", "2->0\n", - "\n", - "\n", + "\n", + "\n", "c\n", "\n", "\n", @@ -228,8 +228,8 @@ "\n", "\n", "2->1\n", - "\n", - "\n", + "\n", + "\n", "!a & b & !c\n", "\n", "\n", @@ -240,8 +240,8 @@ "\n", "\n", "1->0\n", - "\n", - "\n", + "\n", + "\n", "c\n", "\n", "\n", @@ -307,31 +307,31 @@ "\n", "\n", "2->2\n", - "\n", - "\n", + "\n", + "\n", "a & !c\n", "\n", "\n", "0\n", - "\n", - "\n", + "\n", + "\n", "0\n", "\n", "\n", "2->0\n", - "\n", - "\n", + "\n", + "\n", "c\n", "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", "2->1\n", - "\n", - "\n", + "\n", + "\n", "!a & b & !c\n", "\n", "\n", @@ -342,8 +342,8 @@ "\n", "\n", "1->0\n", - "\n", - "\n", + "\n", + "\n", "c\n", "\n", "\n", @@ -540,7 +540,7 @@ "\n", "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -553,7 +553,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", @@ -665,8 +665,8 @@ "\n", "\n", "0->1\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", @@ -682,8 +682,8 @@ "\n", "\n", "1->2\n", - "\n", - "\n", + "\n", + "\n", "!a & !b\n", "\n", "\n", @@ -716,10 +716,10 @@ "\n", "\n", "2->2\n", - "\n", - "\n", + "\n", + "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -732,7 +732,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", @@ -864,7 +864,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -923,7 +923,7 @@ "\n", "\n", "a & !b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -935,7 +935,7 @@ "\n", "\n", "a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "0->1\n", @@ -948,15 +948,15 @@ "\n", "\n", "a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->1\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -1048,7 +1048,7 @@ "\n", "\n", "a & !b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1057,10 +1057,10 @@ "\n", "\n", "0->1\n", - "\n", - "\n", + "\n", + "\n", "a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "0->1\n", @@ -1070,18 +1070,18 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->1\n", "\n", "\n", "!a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" @@ -1130,14 +1130,14 @@ "\n", "\n", "1->0\n", - "\n", - "\n", + "\n", + "\n", "b\n", "\n", "\n", "0->0\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", @@ -1175,10 +1175,10 @@ "\n", "\n", "0->0\n", - "\n", - "\n", + "\n", + "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -1294,7 +1294,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", @@ -1323,7 +1323,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->5\n", @@ -1352,7 +1352,7 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "6->7\n", @@ -1376,22 +1376,22 @@ "\n", "\n", "a\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "8->7\n", "\n", "\n", "a\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "8->8\n", "\n", "\n", "1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n" @@ -1433,8 +1433,8 @@ "\n", "\n", "0->1\n", - "\n", - "\n", + "\n", + "\n", "a & !b\n", "\n", "\n", @@ -1450,10 +1450,10 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->1\n", @@ -1507,8 +1507,8 @@ "\n", "\n", "3->2\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", @@ -1524,14 +1524,14 @@ "\n", "\n", "0->4\n", - "\n", - "\n", + "\n", + "\n", "b\n", "\n", "\n", "4->4\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", @@ -1541,14 +1541,14 @@ "\n", "\n", "1->0\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", "2->1\n", - "\n", - "\n", + "\n", + "\n", "1\n", "\n", "\n", @@ -1611,7 +1611,7 @@ "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", @@ -1622,8 +1622,8 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a | b\n", "\n", "\n", @@ -1644,8 +1644,8 @@ "\n", "\n", "1->3\n", - "\n", - "\n", + "\n", + "\n", "a & b\n", "\n", "\n", @@ -1655,8 +1655,8 @@ "\n", "\n", "1->4\n", - "\n", - "\n", + "\n", + "\n", "a & !b\n", "\n", "\n", @@ -1670,7 +1670,7 @@ "\n", "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -1683,7 +1683,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", @@ -1756,7 +1756,7 @@ "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", @@ -1775,7 +1775,7 @@ "\n", "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -1834,7 +1834,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", @@ -1899,7 +1899,7 @@ "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", @@ -1918,7 +1918,7 @@ "\n", "\n", "!b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -1934,8 +1934,8 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a | b\n", "\n", "\n", @@ -1945,8 +1945,8 @@ "\n", "\n", "1->3\n", - "\n", - "\n", + "\n", + "\n", "a & !b\n", "\n", "\n", @@ -1956,8 +1956,8 @@ "\n", "\n", "1->2\n", - "\n", - "\n", + "\n", + "\n", "a & b\n", "\n", "\n", @@ -1977,7 +1977,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", @@ -2013,7 +2013,7 @@ "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", @@ -2024,8 +2024,8 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a | b\n", "\n", "\n", @@ -2045,8 +2045,8 @@ "\n", "\n", "1->2\n", - "\n", - "\n", + "\n", + "\n", "a & !b\n", "\n", "\n", @@ -2056,8 +2056,8 @@ "\n", "\n", "1->3\n", - "\n", - "\n", + "\n", + "\n", "a & b\n", "\n", "\n", @@ -2081,7 +2081,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->3\n", @@ -2117,7 +2117,7 @@ "\n", "\n", "1\n", - "\n", + "\n", "1\n", "\n", "\n", @@ -2128,8 +2128,8 @@ "\n", "\n", "1->1\n", - "\n", - "\n", + "\n", + "\n", "a | b\n", "\n", "\n", @@ -2182,9 +2182,9 @@ "G\n", "\n", "Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "cluster_0\n", "\n", @@ -2236,7 +2236,7 @@ "\n", "\n", "2\n", - "\n", + "\n", "2\n", "\n", "\n", @@ -2250,16 +2250,16 @@ "\n", "\n", "1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4\n", - "\n", + "\n", "4\n", "\n", "\n", "6\n", - "\n", + "\n", "6\n", "\n", "\n", @@ -2270,7 +2270,7 @@ "\n", "\n", "7\n", - "\n", + "\n", "7\n", "\n", "\n", @@ -2284,7 +2284,7 @@ "\n", "\n", "!b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "6->6\n", @@ -2303,7 +2303,7 @@ "\n", "\n", "b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "7->6\n", @@ -2343,7 +2343,7 @@ "\n", "\n", "5\n", - "\n", + "\n", "5\n", "\n", "\n", @@ -2369,7 +2369,7 @@ "\n", "\n", "!a & b\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "" diff --git a/tests/python/ltsmin-dve.ipynb b/tests/python/ltsmin-dve.ipynb index d08e61ef5..488757408 100644 --- a/tests/python/ltsmin-dve.ipynb +++ b/tests/python/ltsmin-dve.ipynb @@ -1307,7 +1307,7 @@ "\n", "\n", ""a<1" & "b>2" & dead\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n" diff --git a/tests/python/piperead.ipynb b/tests/python/piperead.ipynb index 874c75352..19e2612f8 100644 --- a/tests/python/piperead.ipynb +++ b/tests/python/piperead.ipynb @@ -195,7 +195,7 @@ "\n", "\n", "a\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "0->0\n", @@ -252,7 +252,7 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", diff --git a/tests/python/product.ipynb b/tests/python/product.ipynb index f3ea42b02..cab41b266 100644 --- a/tests/python/product.ipynb +++ b/tests/python/product.ipynb @@ -75,7 +75,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -104,7 +104,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -116,14 +116,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -131,9 +131,9 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -151,15 +151,15 @@ "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "0->0\n", "\n", "\n", "!b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1\n", @@ -177,15 +177,15 @@ "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->0\n", "\n", "\n", "!b & c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "1->1\n", @@ -198,7 +198,7 @@ "\n", "\n", "b & !c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "\n", @@ -206,11 +206,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -233,15 +233,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->1\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -259,15 +259,15 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -279,33 +279,33 @@ "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->1\n", "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -317,64 +317,64 @@ "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "" @@ -420,7 +420,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -449,7 +449,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -461,14 +461,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -476,9 +476,9 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -496,15 +496,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -522,15 +522,15 @@ "\n", "\n", "b & c\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "1->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -543,7 +543,7 @@ "\n", "\n", "b & !c\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -551,11 +551,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -578,15 +578,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->1\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -604,15 +604,15 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -624,33 +624,33 @@ "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->1\n", "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -662,64 +662,64 @@ "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "" @@ -812,7 +812,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -841,7 +841,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -853,14 +853,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -868,9 +868,9 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -888,15 +888,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -914,15 +914,15 @@ "\n", "\n", "b & c\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "1->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -935,7 +935,7 @@ "\n", "\n", "b & !c\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -1196,11 +1196,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1229,7 +1229,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -1241,14 +1241,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -1256,9 +1256,9 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1276,15 +1276,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1302,15 +1302,15 @@ "\n", "\n", "b & c\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "1->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -1323,7 +1323,7 @@ "\n", "\n", "b & !c\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -1331,11 +1331,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1358,15 +1358,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->1\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -1384,15 +1384,15 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -1404,33 +1404,33 @@ "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->1\n", "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -1442,64 +1442,64 @@ "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "" @@ -1707,11 +1707,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1740,7 +1740,7 @@ "\n", "\n", "a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -1752,14 +1752,14 @@ "\n", "\n", "b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->2\n", "\n", "\n", "1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -1767,9 +1767,9 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1787,15 +1787,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1813,15 +1813,15 @@ "\n", "\n", "b & c\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "1->0\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -1834,7 +1834,7 @@ "\n", "\n", "b & !c\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -1842,11 +1842,11 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", ")\n", "\n", "\n", @@ -1869,15 +1869,15 @@ "\n", "\n", "b\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "0->1\n", "\n", "\n", "!b & c\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -1895,15 +1895,15 @@ "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -1915,33 +1915,33 @@ "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "2->1\n", "\n", "\n", "a & !b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "2->2\n", "\n", "\n", "a & !b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -1953,64 +1953,64 @@ "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "b\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "b & c\n", - "\u24ff\n", - "\u2776\n", - "\u2777\n", + "\u24ff\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4->3\n", "\n", "\n", "!b & c\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->4\n", "\n", "\n", "!b & !c\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", "\n", "\n", "b & !c\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "" diff --git a/tests/python/randaut.ipynb b/tests/python/randaut.ipynb index 03ef404bc..79ac6c2e9 100644 --- a/tests/python/randaut.ipynb +++ b/tests/python/randaut.ipynb @@ -66,13 +66,13 @@ "G\n", "\n", "Fin(\n", - "\u2776\n", + "\u2776\n", ") | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Fin(\n", - "\u2778\n", + "\u2778\n", ") & Fin(\n", - "\u24ff\n", + "\u24ff\n", "))\n", "\n", "\n", @@ -101,8 +101,8 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2777\n", + "\u24ff\n", + "\u2777\n", "\n", "\n", "4->4\n", @@ -142,8 +142,8 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "2->1\n", @@ -162,7 +162,7 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n", @@ -261,13 +261,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Fin(\n", - "\u2778\n", + "\u2778\n", ")) | (Fin(\n", - "\u2777\n", + "\u2777\n", ") & Inf(\n", - "\u2776\n", + "\u2776\n", "))\n", "\n", "\n", @@ -307,14 +307,14 @@ "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "4->0\n", "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -326,7 +326,7 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -338,22 +338,22 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->2\n", @@ -367,11 +367,11 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & Fin(\n", - "\u2777\n", + "\u2777\n", ")) | Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -411,14 +411,14 @@ "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->0\n", "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -430,7 +430,7 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -442,22 +442,22 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "3->2\n", @@ -471,13 +471,13 @@ "G\n", "\n", "(Inf(\n", - "\u2777\n", + "\u2777\n", ") & Fin(\n", - "\u2776\n", + "\u2776\n", ")) | (Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "\n", "\n", @@ -500,7 +500,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1\n", @@ -512,7 +512,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "2\n", @@ -524,8 +524,8 @@ "\n", "\n", "p0 & p1\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "3->3\n", @@ -567,14 +567,14 @@ "\n", "\n", "!p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "4->2\n", "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", @@ -588,11 +588,11 @@ "G\n", "\n", "Inf(\n", - "\u2776\n", + "\u2776\n", ") | (Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", "))\n", "\n", "\n", @@ -615,7 +615,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -627,7 +627,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "2\n", @@ -639,8 +639,8 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->3\n", @@ -682,14 +682,14 @@ "\n", "\n", "!p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->2\n", "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", @@ -703,13 +703,13 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ") | Fin(\n", - "\u2778\n", + "\u2778\n", ") | (Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", "))\n", "\n", "\n", @@ -743,15 +743,15 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "1->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -764,8 +764,8 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "2\n", @@ -783,7 +783,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "2->4\n", @@ -801,30 +801,30 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->1\n", "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2777\n", - "\u2778\n", + "\u24ff\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "\n", @@ -832,13 +832,13 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ") | Fin(\n", - "\u2778\n", + "\u2778\n", ") | (Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", "))\n", "\n", "\n", @@ -872,15 +872,15 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "1->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1->1\n", @@ -893,8 +893,8 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "2\n", @@ -912,7 +912,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "2->4\n", @@ -930,30 +930,30 @@ "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->1\n", "\n", "\n", "p0 & p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3->4\n", "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2777\n", - "\u2778\n", + "\u24ff\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "\n", @@ -961,13 +961,13 @@ "G\n", "\n", "((Fin(\n", - "\u2776\n", + "\u2776\n", ")|Fin(\n", - "\u2777\n", + "\u2777\n", ")) | Inf(\n", - "\u2778\n", + "\u2778\n", ")) & Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1024,7 +1024,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->1\n", @@ -1054,7 +1054,7 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", @@ -1086,7 +1086,7 @@ "G\n", "\n", "Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1172,7 +1172,7 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->2\n", @@ -1204,13 +1204,13 @@ "G\n", "\n", "(Fin(\n", - "\u2777\n", + "\u2777\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ")) & (Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "\n", "\n", @@ -1233,16 +1233,16 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->0\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -1254,7 +1254,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1\n", @@ -1266,15 +1266,15 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -1286,15 +1286,15 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "2->1\n", @@ -1308,13 +1308,13 @@ "G\n", "\n", "(Fin(\n", - "\u2777\n", + "\u2777\n", ") | Inf(\n", - "\u2776\n", + "\u2776\n", ")) & (Inf(\n", - "\u24ff\n", + "\u24ff\n", ")&Inf(\n", - "\u2778\n", + "\u2778\n", "))\n", "\n", "\n", @@ -1337,16 +1337,16 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "3->0\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "4\n", @@ -1358,7 +1358,7 @@ "\n", "\n", "!p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "1\n", @@ -1370,15 +1370,15 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "4->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2\n", @@ -1390,15 +1390,15 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "2->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2777\n", - "\u2778\n", + "\u2777\n", + "\u2778\n", "\n", "\n", "2->1\n", @@ -1412,13 +1412,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & (Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", "))) | Fin(\n", - "\u2778\n", + "\u2778\n", ")\n", "\n", "\n", @@ -1436,7 +1436,7 @@ "\n", "\n", "p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -1448,14 +1448,14 @@ "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1467,7 +1467,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -1479,8 +1479,8 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -1493,8 +1493,8 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "4\n", @@ -1506,22 +1506,22 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->1\n", "\n", "\n", "p0 & p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "\n", @@ -1529,13 +1529,13 @@ "G\n", "\n", "(Fin(\n", - "\u24ff\n", + "\u24ff\n", ") & (Inf(\n", - "\u2776\n", + "\u2776\n", ")&Inf(\n", - "\u2777\n", + "\u2777\n", "))) | Fin(\n", - "\u2778\n", + "\u2778\n", ")\n", "\n", "\n", @@ -1553,7 +1553,7 @@ "\n", "\n", "p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3\n", @@ -1565,14 +1565,14 @@ "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "3->3\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1584,7 +1584,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "2\n", @@ -1596,8 +1596,8 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", - "\u2778\n", + "\u24ff\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -1610,8 +1610,8 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "4\n", @@ -1623,22 +1623,22 @@ "\n", "\n", "p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->3\n", "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->1\n", "\n", "\n", "p0 & p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "\n", @@ -1646,13 +1646,13 @@ "G\n", "\n", "((Fin(\n", - "\u2777\n", + "\u2777\n", ")|Fin(\n", - "\u2778\n", + "\u2778\n", ")) | Inf(\n", - "\u24ff\n", + "\u24ff\n", ")) & Inf(\n", - "\u2776\n", + "\u2776\n", ")\n", "\n", "\n", @@ -1686,7 +1686,7 @@ "\n", "\n", "p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "4\n", @@ -1698,8 +1698,8 @@ "\n", "\n", "!p0 & p1\n", - "\u2776\n", - "\u2777\n", + "\u2776\n", + "\u2777\n", "\n", "\n", "1\n", @@ -1711,21 +1711,21 @@ "\n", "\n", "!p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "2->1\n", "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "4->3\n", "\n", "\n", "p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->1\n", @@ -1739,11 +1739,11 @@ "G\n", "\n", "(Fin(\n", - "\u2776\n", + "\u2776\n", ")|Fin(\n", - "\u2777\n", + "\u2777\n", ")) & Inf(\n", - "\u24ff\n", + "\u24ff\n", ")\n", "\n", "\n", @@ -1777,7 +1777,7 @@ "\n", "\n", "p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4\n", @@ -1789,8 +1789,8 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", - "\u2776\n", + "\u24ff\n", + "\u2776\n", "\n", "\n", "1\n", @@ -1802,21 +1802,21 @@ "\n", "\n", "!p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "2->1\n", "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "4->3\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4->1\n", @@ -1830,13 +1830,13 @@ "G\n", "\n", "(Inf(\n", - "\u2776\n", + "\u2776\n", ") | (Fin(\n", - "\u24ff\n", + "\u24ff\n", ")|Fin(\n", - "\u2777\n", + "\u2777\n", "))) & Inf(\n", - "\u2778\n", + "\u2778\n", ")\n", "\n", "\n", @@ -1854,8 +1854,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "1\n", @@ -1867,7 +1867,7 @@ "\n", "\n", "p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -1896,21 +1896,21 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", "\n", "\n", "p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3\n", @@ -1922,8 +1922,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -1936,21 +1936,21 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3->2\n", "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -1958,13 +1958,13 @@ "G\n", "\n", "(Inf(\n", - "\u2776\n", + "\u2776\n", ") | (Fin(\n", - "\u24ff\n", + "\u24ff\n", ")|Fin(\n", - "\u2777\n", + "\u2777\n", "))) & Inf(\n", - "\u2778\n", + "\u2778\n", ")\n", "\n", "\n", @@ -1982,8 +1982,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "1\n", @@ -1995,7 +1995,7 @@ "\n", "\n", "p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -2024,21 +2024,21 @@ "\n", "\n", "!p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "4->1\n", "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->2\n", "\n", "\n", "p0 & p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3\n", @@ -2050,8 +2050,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2->0\n", @@ -2064,21 +2064,21 @@ "\n", "\n", "!p0 & p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->0\n", "\n", "\n", "!p0 & !p1\n", - "\u2778\n", + "\u2778\n", "\n", "\n", "3->2\n", "\n", "\n", "!p0 & !p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "\n", @@ -2086,13 +2086,13 @@ "G\n", "\n", "(Fin(\n", - "\u2777\n", + "\u2777\n", ")|Fin(\n", - "\u2778\n", + "\u2778\n", ")) | (Inf(\n", - "\u24ff\n", + "\u24ff\n", ") & Fin(\n", - "\u2776\n", + "\u2776\n", "))\n", "\n", "\n", @@ -2115,14 +2115,14 @@ "\n", "\n", "p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->1\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3\n", @@ -2134,8 +2134,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2\n", @@ -2153,7 +2153,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", @@ -2178,13 +2178,13 @@ "G\n", "\n", "(Fin(\n", - "\u2777\n", + "\u2777\n", ")|Fin(\n", - "\u2778\n", + "\u2778\n", ")) | (Inf(\n", - "\u24ff\n", + "\u24ff\n", ") & Fin(\n", - "\u2776\n", + "\u2776\n", "))\n", "\n", "\n", @@ -2207,14 +2207,14 @@ "\n", "\n", "p0 & p1\n", - "\u2777\n", + "\u2777\n", "\n", "\n", "1->1\n", "\n", "\n", "p0 & !p1\n", - "\u2776\n", + "\u2776\n", "\n", "\n", "3\n", @@ -2226,8 +2226,8 @@ "\n", "\n", "p0 & !p1\n", - "\u2776\n", - "\u2778\n", + "\u2776\n", + "\u2778\n", "\n", "\n", "2\n", @@ -2245,7 +2245,7 @@ "\n", "\n", "!p0 & !p1\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4\n", diff --git a/tests/python/word.ipynb b/tests/python/word.ipynb index d5e7e61ec..2ee85888a 100644 --- a/tests/python/word.ipynb +++ b/tests/python/word.ipynb @@ -162,7 +162,7 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "3->4\n", @@ -181,7 +181,7 @@ "\n", "\n", "a & b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "4->4\n", @@ -200,7 +200,7 @@ "\n", "\n", "!a & !b\n", - "\u24ff\n", + "\u24ff\n", "\n", "\n", "\n"