Commit 68270242 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

adjust the SVG returned for incomparable formulas

the w₃ label could have the bottom of its "3" clipped
parent 0ccfb56d
......@@ -558,12 +558,12 @@ def translate(ltlformula, method='GET'):
svg_compare_list = [
("""<svg width="200px" height="100px" viewBox="0 0 200 100">
<ellipse cx="66" cy="50" rx="60" ry="40" style='fill:cyan;opacity:0.3' />
<ellipse cx="132" cy="50" rx="60" ry="40" style='fill:magenta;opacity:0.2' />
<text text-anchor="middle" x="50" y="53">w₄</text>
<text text-anchor="middle" x="150" y="53">w₂</text>
<text text-anchor="middle" x="100" y="53">w₁</text>
<text text-anchor="middle" x="100" y="99">w₃</text>
<ellipse cx="66" cy="48" rx="60" ry="40" style='fill:cyan;opacity:0.3' />
<ellipse cx="132" cy="48" rx="60" ry="40" style='fill:magenta;opacity:0.2' />
<text text-anchor="middle" x="50" y="51">w₄</text>
<text text-anchor="middle" x="150" y="51">w₂</text>
<text text-anchor="middle" x="100" y="51">w₁</text>
<text text-anchor="middle" x="100" y="96">w₃</text>
</svg>""", "The two formulas are incomparable."),
("""<svg width="200px" height="100px" viewBox="0 0 200 100">
<ellipse cx="100" cy="50" rx="90" ry="40" style='fill:cyan;opacity:0.3' />
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment