Last active
November 12, 2018 11:45
-
-
Save rindPHI/a981608a8cd619dd9906d721e391f040 to your computer and use it in GitHub Desktop.
Python script which extracts PDFs from inkscape layers annotated by LaTeX overlay specifications, for the use in LaTeX beamer presentations. The attached SVG file is an example Inkscape SVG for seeing how it works.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
#!/usr/bin/python3 | |
import xml.etree.ElementTree as ET | |
import re | |
import sys | |
import os | |
import pyperclip | |
from pathlib import Path | |
from subprocess import call | |
########################################################################### | |
# This script extracts "layers" for usage in LaTeX presentations # | |
# from inkscape SVG files. For this, append a LaTeX overlay specification # | |
# to the label of the layer, e.g., "1,2-5,3,17-", which you surround by # | |
# either angle or square brackets. Then, call this script with the name # | |
# of the SVG file as argument (works also with a path). It will export # | |
# multiple PDF files "...-step-N.pdf" in the same directory as the SVG # | |
# file. After execution, the script shows instructions of how to use the # | |
# generated PDF animation slides in LaTeX and copies the for loop doing # | |
# the task to the system clipboard. # | |
# # | |
# Requirements: # | |
# - inkscape # | |
# - pyperclip library ("pip3 install pyperclip") # | |
########################################################################### | |
ns = {'svg': 'http://www.w3.org/2000/svg', | |
'inkscape': 'http://www.inkscape.org/namespaces/inkscape'} | |
class OverlayRange: | |
def __init__(self, start, end): | |
self.start = int(start) | |
self.end = int(end) | |
def __str__(self): | |
if (self.end == -1): | |
return "range(" + str(self.start) + "-" + ")" | |
else: | |
return "range(" + str(self.start) + "-" + str(self.end) + ")" | |
def max(self): | |
if (self.end > self.start): | |
return self.end | |
else: | |
return self.start | |
def setMax(self, max): | |
if (self.end == -1): | |
self.end = max | |
def visibleAt(self, step): | |
return (self.start <= step and step <= self.end) | |
@classmethod | |
def fromStartOnly(cls, start): | |
return cls(start, -1) | |
def parseOverlayRange(string): | |
arr = string.split('-') | |
if (len(arr) == 1): | |
return OverlayRange(arr[0], arr[0]) | |
elif (len(arr) == 2 and arr[1] == ''): | |
return OverlayRange.fromStartOnly(arr[0]) | |
elif (len(arr) == 2): | |
return OverlayRange(arr[0], arr[1]) | |
class Layer: | |
def __init__(self, label, element): | |
self.label = label | |
self.element = element | |
self.ranges = [] | |
def addRange(self, therange): | |
self.ranges.append(therange) | |
def maxRange(self): | |
return max(map(lambda r: r.max(), self.ranges)) | |
def visibleAt(self, step): | |
for therange in self.ranges: | |
if (therange.visibleAt(step)): | |
return True | |
return False | |
def toNS(elem, namespace): | |
return '{' + ns.get(namespace) + '}' + elem | |
if (len(sys.argv) < 2): | |
print('Expecting input SVG file as argument') | |
inputfile = sys.argv[1] | |
outprefix = inputfile.split('.svg')[0] | |
tree = ET.parse(inputfile) | |
root = tree.getroot() | |
layers = [] | |
for elem in tree.iter(): | |
if (elem.tag != toNS('g', 'svg')): | |
continue | |
label = elem.get(toNS('label', 'inkscape')) | |
if (label == None): | |
continue | |
groupmode = elem.get(toNS('groupmode', 'inkscape')) | |
if (groupmode == None or groupmode != 'layer'): | |
continue | |
regex = r"^([^(<\[)]*)\W+(?:<|\[)([0-9]+(?:-(?:[0-9]+)?)?(?:,[0-9]+(?:-(?:[0-9]+)?)?)*)(?:>|\])$" | |
m = re.search(regex, label) | |
if (m == None): | |
continue | |
layer = Layer(m.group(1), elem) | |
for theRange in m.group(2).split(','): | |
layer.addRange(parseOverlayRange(theRange)) | |
layers.append(layer) | |
maxLayer = max(map(lambda l: l.maxRange(), layers)) | |
print("Maximum overlay number: " + str(maxLayer)) | |
for layer in layers: | |
for therange in layer.ranges: | |
therange.setMax(maxLayer) | |
for i in range(1,maxLayer+1): | |
print("Animation step " + str(i)) | |
for layer in layers: | |
if (layer.visibleAt(i)): | |
print (" Layer " + layer.label + " visible") | |
layer.element.set('style', 'display:inline') | |
elif (not layer.visibleAt(i)): | |
print (" Layer " + layer.label + " hidden") | |
layer.element.set('style', 'display:none') | |
layerOutPrefix = outprefix + '-step-' + str(i) | |
svgoutfile = layerOutPrefix + '.svg' | |
pdfoutfile = layerOutPrefix + '.pdf' | |
if Path(svgoutfile).exists(): | |
print("Step SVG file " + svgoutfile + " already exists, won't override but cancel") | |
quit() | |
print(" Exporting layer " + str(i) + " to file " + pdfoutfile) | |
tree.write(svgoutfile) | |
call(['inkscape', '-z', '-C', '--export-pdf=' + pdfoutfile, svgoutfile]) | |
os.remove(svgoutfile) | |
latexinclude = " \\usepackage{pgffor}\n" +\ | |
" \\usepackage{tikz}" | |
latexMacro = " \\newcommand<>{\\fullsizegraphic}[1]{\n" +\ | |
" \\begin{tikzpicture}[remember picture,overlay]\n" +\ | |
" \\node[at=(current page.center)] {\n" +\ | |
" \includegraphics{#1}\n" +\ | |
" };\n" +\ | |
" \\end{tikzpicture}\n" +\ | |
" }" | |
latexForLoop = " \\foreach \\n in {1,...," + str(maxLayer) + "}{\n" +\ | |
" \\only<\\n>{\\fullsizegraphic{" + outprefix + "-step-\\n.pdf}}\n" +\ | |
" }" | |
print("\nDone. Usage in Latex:") | |
print(" Include in preamble:\n") | |
print(latexinclude) | |
print("") | |
print(latexMacro) | |
print("\n Use in frame:\n") | |
print(latexForLoop) | |
pyperclip.copy(latexForLoop) | |
print("\nCopied for loop to clipboard.") |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8" standalone="no"?> | |
<!-- Created with Inkscape (http://www.inkscape.org/) --> | |
<svg | |
xmlns:ns1="http://www.iki.fi/pav/software/textext/" | |
xmlns:dc="http://purl.org/dc/elements/1.1/" | |
xmlns:cc="http://creativecommons.org/ns#" | |
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" | |
xmlns:svg="http://www.w3.org/2000/svg" | |
xmlns="http://www.w3.org/2000/svg" | |
xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" | |
xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" | |
width="128mm" | |
height="96mm" | |
viewBox="0 0 128 96" | |
version="1.1" | |
id="svg8" | |
inkscape:version="0.92.3 (2405546, 2018-03-11)" | |
sodipodi:docname="dual-se-state.svg" | |
enable-background="new"> | |
<sodipodi:namedview | |
id="base" | |
pagecolor="#ffffff" | |
bordercolor="#666666" | |
borderopacity="1.0" | |
inkscape:pageopacity="0.0" | |
inkscape:pageshadow="2" | |
inkscape:zoom="2.8" | |
inkscape:cx="240.98018" | |
inkscape:cy="146.13751" | |
inkscape:document-units="mm" | |
inkscape:current-layer="layer43" | |
showgrid="false" | |
inkscape:window-width="1869" | |
inkscape:window-height="1025" | |
inkscape:window-x="51" | |
inkscape:window-y="27" | |
inkscape:window-maximized="1" | |
showguides="true" | |
inkscape:guide-bbox="true" | |
inkscape:snap-global="false" | |
inkscape:measure-start="0,0" | |
inkscape:measure-end="0,0"> | |
<sodipodi:guide | |
inkscape:locked="false" | |
id="guide22225" | |
orientation="0,1" | |
position="68.220545,45.636271" /> | |
<sodipodi:guide | |
inkscape:locked="false" | |
id="guide22227" | |
orientation="0,1" | |
position="50.046218,39.622706" /> | |
<sodipodi:guide | |
inkscape:locked="false" | |
id="guide22229" | |
orientation="0,1" | |
position="58.86979,49.892856" /> | |
<sodipodi:guide | |
inkscape:locked="false" | |
id="guide22231" | |
orientation="0,1" | |
position="56.790921,56.318451" /> | |
</sodipodi:namedview> | |
<defs | |
id="defs2"> | |
<marker | |
inkscape:stockid="Arrow1Mend" | |
orient="auto" | |
refY="0.0" | |
refX="0.0" | |
id="Arrow1Mend" | |
style="overflow:visible;" | |
inkscape:isstock="true"> | |
<path | |
id="path1392" | |
d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " | |
style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1" | |
transform="scale(0.4) rotate(180) translate(10,0)" /> | |
</marker> | |
<marker | |
inkscape:stockid="Arrow2Mend" | |
orient="auto" | |
refY="0.0" | |
refX="0.0" | |
id="Arrow2Mend" | |
style="overflow:visible;" | |
inkscape:isstock="true"> | |
<path | |
id="path1410" | |
style="fill-rule:evenodd;stroke-width:0.625;stroke-linejoin:round;stroke:#23373b;stroke-opacity:1;fill:#23373b;fill-opacity:1" | |
d="M 8.7185878,4.0337352 L -2.2072895,0.016013256 L 8.7185884,-4.0017078 C 6.9730900,-1.6296469 6.9831476,1.6157441 8.7185878,4.0337352 z " | |
transform="scale(0.6) rotate(180) translate(0,0)" /> | |
</marker> | |
<marker | |
inkscape:stockid="Arrow1Send" | |
orient="auto" | |
refY="0.0" | |
refX="0.0" | |
id="Arrow1Send" | |
style="overflow:visible;" | |
inkscape:isstock="true"> | |
<path | |
id="path1398" | |
d="M 0.0,0.0 L 5.0,-5.0 L -12.5,0.0 L 5.0,5.0 L 0.0,0.0 z " | |
style="fill-rule:evenodd;stroke:#000000;stroke-width:1pt;stroke-opacity:1;fill:#000000;fill-opacity:1" | |
transform="scale(0.2) rotate(180) translate(6,0)" /> | |
</marker> | |
<marker | |
inkscape:stockid="Arrow2Mend" | |
orient="auto" | |
refY="0" | |
refX="0" | |
id="Arrow2Mend-7" | |
style="overflow:visible" | |
inkscape:isstock="true"> | |
<path | |
inkscape:connector-curvature="0" | |
id="path1410-5" | |
style="fill:#23373b;fill-opacity:1;fill-rule:evenodd;stroke:#23373b;stroke-width:0.625;stroke-linejoin:round;stroke-opacity:1" | |
d="M 8.7185878,4.0337352 -2.2072895,0.01601326 8.7185884,-4.0017078 c -1.7454984,2.3720609 -1.7354408,5.6174519 -6e-7,8.035443 z" | |
transform="scale(-0.6)" /> | |
</marker> | |
</defs> | |
<metadata | |
id="metadata5"> | |
<rdf:RDF> | |
<cc:Work | |
rdf:about=""> | |
<dc:format>image/svg+xml</dc:format> | |
<dc:type | |
rdf:resource="http://purl.org/dc/dcmitype/StillImage" /> | |
<dc:title></dc:title> | |
</cc:Work> | |
</rdf:RDF> | |
</metadata> | |
<g | |
inkscape:groupmode="layer" | |
id="layer39" | |
inkscape:label="Highlights"> | |
<g | |
inkscape:groupmode="layer" | |
id="layer43" | |
inkscape:label="HL-Obs [5]" | |
style="display:none"> | |
<rect | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
id="rect22862" | |
width="6.4028335" | |
height="4.3467264" | |
x="74.732933" | |
y="45.960266" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer42" | |
inkscape:label="HL-Prog [4]" | |
style="display:none"> | |
<rect | |
y="45.960266" | |
x="55.602333" | |
height="4.3467264" | |
width="14.420919" | |
id="rect22854" | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer41" | |
inkscape:label="HL-C [3]" | |
style="display:none"> | |
<rect | |
transform="translate(0,-201)" | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
id="rect22845" | |
width="3.9974084" | |
height="4.3467264" | |
x="51.368999" | |
y="246.96027" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer40" | |
inkscape:label="HL-U [2]" | |
style="display:none"> | |
<rect | |
transform="translate(0,-201)" | |
y="246.96027" | |
x="46.935368" | |
height="4.3467264" | |
width="3.9974084" | |
id="rect22842" | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
</g> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer33" | |
inkscape:label="Legend" | |
style="display:inline"> | |
<g | |
inkscape:groupmode="layer" | |
id="layer38" | |
inkscape:label="Legend-Obs [5-]" | |
style="display:inline"> | |
<g | |
id="g22458" | |
ns1:jacobian_sqrt="0.352778" | |
inkscapeversion="0.92.3" | |
ns1:alignment="middle center" | |
ns1:scale="1.00000014175" | |
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex" | |
ns1:text="Observable Variables" | |
ns1:pdfconverter="pdf2svg" | |
ns1:texconverter="pdflatex" | |
ns1:version="0.8.1" | |
transform="matrix(0.35277801,0,0,0.35277801,25.970477,-8.2484661)" | |
style="display:inline;fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<g | |
id="surface1" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<g | |
id="g22429" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<path | |
id="path22409" | |
transform="translate(148.712,134.765)" | |
d="m 6.765625,-3.4375 c 0,-2.09375 -1.4375,-3.703125 -3.09375,-3.703125 -1.703125,0 -3.109375,1.625 -3.109375,3.703125 0,2.109375 1.46875,3.65625 3.09375,3.65625 1.671875,0 3.109375,-1.5625 3.109375,-3.65625 z M 5.875,-3.59375 c 0,1.953125 -1.0625,3.171875 -2.203125,3.171875 -1.171875,0 -2.21875,-1.25 -2.21875,-3.171875 0,-1.8125 1.09375,-2.90625 2.203125,-2.90625 1.15625,0 2.21875,1.125 2.21875,2.90625 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22411" | |
transform="translate(156.04547,134.765)" | |
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22413" | |
transform="translate(161.19314,134.765)" | |
d="m 3.59375,-1.28125 c 0,-0.546875 -0.375,-0.875 -0.390625,-0.90625 C 2.8125,-2.546875 2.546875,-2.609375 2.046875,-2.6875 1.5,-2.796875 1.03125,-2.90625 1.03125,-3.390625 1.03125,-4 1.75,-4 1.890625,-4 c 0.3125,0 0.84375,0.03125 1.40625,0.375 l 0.125,-0.65625 C 2.90625,-4.515625 2.5,-4.59375 1.984375,-4.59375 c -0.25,0 -1.65625,0 -1.65625,1.296875 0,0.5 0.296875,0.8125 0.546875,1 0.296875,0.21875 0.515625,0.265625 1.0625,0.375 0.359375,0.0625 0.9375,0.1875 0.9375,0.71875 0,0.6875 -0.78125,0.6875 -0.9375,0.6875 -0.796875,0 -1.359375,-0.375 -1.53125,-0.484375 l -0.125,0.671875 c 0.3125,0.15625 0.859375,0.4375 1.671875,0.4375 0.1875,0 0.734375,0 1.15625,-0.3125 0.3125,-0.25 0.484375,-0.640625 0.484375,-1.078125 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22415" | |
transform="translate(165.01181,134.765)" | |
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22417" | |
transform="translate(169.44019,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22419" | |
transform="translate(172.84441,134.765)" | |
d="m 4.453125,-4.421875 h -0.75 l -0.796875,2.0625 C 2.703125,-1.796875 2.390625,-1 2.3125,-0.53125 H 2.296875 C 2.25,-0.890625 1.984375,-1.578125 1.890625,-1.84375 L 0.921875,-4.421875 H 0.140625 L 1.859375,0 h 0.875 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22421" | |
transform="translate(177.43816,134.765)" | |
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22423" | |
transform="translate(182.22619,134.765)" | |
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22425" | |
transform="translate(187.37386,134.765)" | |
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22427" | |
transform="translate(189.75393,134.765)" | |
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g22433" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<path | |
id="path22431" | |
transform="translate(197.49985,134.765)" | |
d="M 6.5,-6.921875 H 5.71875 l -1.328125,3.40625 C 4.234375,-3.09375 3.484375,-1.171875 3.40625,-0.71875 H 3.390625 C 3.3125,-1.109375 2.875,-2.21875 2.796875,-2.453125 L 1.0625,-6.921875 H 0.140625 L 2.859375,0 H 3.78125 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g22437" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<path | |
id="path22435" | |
transform="translate(203.86296,134.765)" | |
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g22445" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<path | |
id="path22439" | |
transform="translate(208.382,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22441" | |
transform="translate(211.78622,134.765)" | |
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22443" | |
transform="translate(214.16628,134.765)" | |
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g22455" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-opacity:1"> | |
<path | |
id="path22447" | |
transform="translate(218.94434,134.765)" | |
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22449" | |
transform="translate(224.09202,134.765)" | |
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22451" | |
transform="translate(226.47209,134.765)" | |
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path22453" | |
transform="translate(230.90046,134.765)" | |
d="m 3.59375,-1.28125 c 0,-0.546875 -0.375,-0.875 -0.390625,-0.90625 C 2.8125,-2.546875 2.546875,-2.609375 2.046875,-2.6875 1.5,-2.796875 1.03125,-2.90625 1.03125,-3.390625 1.03125,-4 1.75,-4 1.890625,-4 c 0.3125,0 0.84375,0.03125 1.40625,0.375 l 0.125,-0.65625 C 2.90625,-4.515625 2.5,-4.59375 1.984375,-4.59375 c -0.25,0 -1.65625,0 -1.65625,1.296875 0,0.5 0.296875,0.8125 0.546875,1 0.296875,0.21875 0.515625,0.265625 1.0625,0.375 0.359375,0.0625 0.9375,0.1875 0.9375,0.71875 0,0.6875 -0.78125,0.6875 -0.9375,0.6875 -0.796875,0 -1.359375,-0.375 -1.53125,-0.484375 l -0.125,0.671875 c 0.3125,0.15625 0.859375,0.4375 1.671875,0.4375 0.1875,0 0.734375,0 1.15625,-0.3125 0.3125,-0.25 0.484375,-0.640625 0.484375,-1.078125 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
</g> | |
</g> | |
<path | |
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1" | |
d="M 77.885521,46.0824 95.37195,39.744779" | |
id="path12483-4-4-7" | |
inkscape:connector-curvature="0" | |
sodipodi:nodetypes="cc" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer37" | |
inkscape:label="Legend-ProgC [4-]" | |
style="display:inline"> | |
<g | |
id="g12222" | |
ns1:jacobian_sqrt="0.352778" | |
inkscapeversion="0.92.3" | |
ns1:alignment="middle center" | |
ns1:scale="1.0000001134" | |
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex" | |
ns1:text="Program Counter" | |
ns1:pdfconverter="pdf2svg" | |
ns1:texconverter="pdflatex" | |
ns1:version="0.8.1" | |
transform="matrix(0.35277801,0,0,0.35277801,-1.8458282,-8.2870524)" | |
style="display:inline;fill:#eb811b;fill-opacity:1"> | |
<g | |
id="g12220" | |
style="fill:#eb811b;fill-opacity:1"> | |
<g | |
id="g12202" | |
style="fill:#eb811b;fill-opacity:1"> | |
<path | |
id="path12188" | |
transform="translate(148.712,134.765)" | |
d="m 5.796875,-4.90625 c 0,-1.0625 -0.984375,-2.015625 -2.359375,-2.015625 H 0.953125 V 0 H 1.84375 v -2.875 h 1.671875 c 1.234375,0 2.28125,-0.90625 2.28125,-2.03125 z M 5,-4.90625 c 0,0.796875 -0.640625,1.453125 -1.78125,1.453125 H 1.8125 v -2.90625 H 3.21875 C 4.3125,-6.359375 5,-5.75 5,-4.90625 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12190" | |
transform="translate(155.0771,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12192" | |
transform="translate(158.48133,134.765)" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12194" | |
transform="translate(163.46263,134.765)" | |
d="m 4.828125,-3.90625 -0.109375,-0.625 c -0.6875,0 -1.265625,0.1875 -1.5625,0.3125 -0.21875,-0.171875 -0.546875,-0.3125 -0.953125,-0.3125 -0.859375,0 -1.578125,0.71875 -1.578125,1.625 0,0.359375 0.125,0.71875 0.328125,0.984375 C 0.65625,-1.515625 0.65625,-1.125 0.65625,-1.078125 0.65625,-0.8125 0.75,-0.53125 0.921875,-0.3125 0.40625,-0.015625 0.28125,0.453125 0.28125,0.703125 c 0,0.75 0.984375,1.34375 2.203125,1.34375 1.21875,0 2.203125,-0.578125 2.203125,-1.34375 C 4.6875,-0.6875 3.03125,-0.6875 2.640625,-0.6875 h -0.875 c -0.125,0 -0.578125,0 -0.578125,-0.53125 0,-0.109375 0.03125,-0.265625 0.109375,-0.359375 0.203125,0.15625 0.53125,0.296875 0.90625,0.296875 0.890625,0 1.59375,-0.75 1.59375,-1.625 0,-0.484375 -0.21875,-0.859375 -0.328125,-1 l 0.046875,0.015625 C 3.734375,-3.890625 4,-3.9375 4.25,-3.9375 c 0.171875,0 0.578125,0.03125 0.578125,0.03125 z m -1.734375,1 c 0,0.765625 -0.46875,1.046875 -0.890625,1.046875 -0.375,0 -0.890625,-0.21875 -0.890625,-1.046875 0,-0.828125 0.515625,-1.0625 0.890625,-1.0625 0.421875,0 0.890625,0.28125 0.890625,1.0625 z M 4,0.71875 c 0,0.4375 -0.6875,0.765625 -1.5,0.765625 -0.8125,0 -1.515625,-0.3125 -1.515625,-0.78125 0,-0.03125 0,-0.671875 0.765625,-0.671875 H 2.65625 C 2.875,0.03125 4,0.03125 4,0.71875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12196" | |
transform="translate(168.44393,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12198" | |
transform="translate(171.84815,134.765)" | |
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12200" | |
transform="translate(176.63617,134.765)" | |
d="m 7.109375,0 v -2.96875 c 0,-0.671875 -0.15625,-1.5625 -1.375,-1.5625 -0.59375,0 -1.109375,0.28125 -1.484375,0.8125 -0.25,-0.75 -0.953125,-0.8125 -1.265625,-0.8125 -0.71875,0 -1.1875,0.40625 -1.453125,0.765625 v -0.71875 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.6875 0.28125,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 h 0.78125 v -2.4375 c 0,-0.6875 0.265625,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g12218" | |
style="fill:#eb811b;fill-opacity:1"> | |
<path | |
id="path12204" | |
transform="translate(187.869,134.765)" | |
d="m 5.859375,-0.453125 -0.0625,-0.6875 C 5.5,-0.9375 5.21875,-0.75 4.875,-0.640625 c -0.3125,0.109375 -0.671875,0.109375 -1,0.109375 -0.65625,0 -1.25,-0.34375 -1.65625,-0.859375 -0.453125,-0.578125 -0.671875,-1.328125 -0.671875,-2.0625 0,-0.75 0.21875,-1.5 0.671875,-2.09375 0.40625,-0.5 1,-0.859375 1.65625,-0.859375 0.296875,0 0.59375,0.03125 0.890625,0.125 0.296875,0.09375 0.578125,0.234375 0.84375,0.421875 l 0.125,-0.8125 C 5.4375,-6.796875 5.140625,-6.890625 4.8125,-6.953125 4.5,-7.015625 4.1875,-7.03125 3.875,-7.03125 c -0.890625,0 -1.6875,0.390625 -2.28125,1.046875 -0.609375,0.6875 -0.9375,1.59375 -0.9375,2.53125 0,0.921875 0.328125,1.828125 0.9375,2.515625 C 2.1875,-0.296875 2.984375,0.109375 3.875,0.109375 4.21875,0.109375 4.5625,0.09375 4.90625,0 5.25,-0.09375 5.546875,-0.265625 5.859375,-0.453125 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12206" | |
transform="translate(194.23411,134.765)" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12208" | |
transform="translate(199.21541,134.765)" | |
d="M 4.34375,0 V -4.421875 H 3.5625 v 2.890625 c 0,0.75 -0.5625,1.09375 -1.203125,1.09375 -0.703125,0 -0.78125,-0.265625 -0.78125,-0.6875 V -4.421875 H 0.8125 v 3.328125 c 0,0.71875 0.21875,1.203125 1.046875,1.203125 0.53125,0 1.234375,-0.15625 1.734375,-0.59375 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12210" | |
transform="translate(204.36308,134.765)" | |
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12212" | |
transform="translate(209.51076,134.765)" | |
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12214" | |
transform="translate(213.10825,134.765)" | |
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path12216" | |
transform="translate(217.53663,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
inkscape:connector-curvature="0" /> | |
</g> | |
</g> | |
</g> | |
<path | |
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1" | |
d="M 61.725754,46.060419 62.70829,39.789615" | |
id="path12483-4-4" | |
inkscape:connector-curvature="0" | |
sodipodi:nodetypes="cc" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer36" | |
inkscape:label="Legend-PC [3-]" | |
style="display:inline"> | |
<g | |
style="display:inline;fill:#eb811b;fill-opacity:1" | |
transform="matrix(0.35277801,0,0,0.35277801,1.1319663,11.635456)" | |
ns1:version="0.8.1" | |
ns1:texconverter="pdflatex" | |
ns1:pdfconverter="pdf2svg" | |
ns1:text="Path Condition" | |
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex" | |
ns1:scale="1.0000001134" | |
ns1:alignment="middle center" | |
inkscapeversion="0.92.3" | |
ns1:jacobian_sqrt="0.352778" | |
id="g11687"> | |
<g | |
style="fill:#eb811b;fill-opacity:1" | |
id="g11685"> | |
<g | |
style="fill:#eb811b;fill-opacity:1" | |
id="g11653"> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 5.796875,-4.90625 c 0,-1.0625 -0.984375,-2.015625 -2.359375,-2.015625 H 0.953125 V 0 H 1.84375 v -2.875 h 1.671875 c 1.234375,0 2.28125,-0.90625 2.28125,-2.03125 z M 5,-4.90625 c 0,0.796875 -0.640625,1.453125 -1.78125,1.453125 H 1.8125 v -2.90625 H 3.21875 C 4.3125,-6.359375 5,-5.75 5,-4.90625 Z m 0,0" | |
transform="translate(148.712,134.765)" | |
id="path11651" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
style="fill:#eb811b;fill-opacity:1" | |
id="g11661"> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.078125,0 v -2.875 c 0,-1.015625 -0.734375,-1.71875 -1.640625,-1.71875 -0.65625,0 -1.109375,0.15625 -1.5625,0.421875 l 0.046875,0.65625 C 1.453125,-3.875 1.9375,-4 2.4375,-4 c 0.46875,0 0.859375,0.390625 0.859375,1.125 v 0.4375 C 1.796875,-2.421875 0.53125,-2 0.53125,-1.125 c 0,0.421875 0.28125,1.234375 1.140625,1.234375 0.140625,0 1.078125,-0.015625 1.65625,-0.46875 V 0 Z m -0.78125,-1.3125 c 0,0.1875 0,0.4375 -0.34375,0.625 C 2.671875,-0.515625 2.296875,-0.5 2.1875,-0.5 1.703125,-0.5 1.25,-0.734375 1.25,-1.140625 1.25,-1.84375 2.875,-1.90625 3.296875,-1.9375 Z m 0,0" | |
transform="translate(154.79815,134.765)" | |
id="path11655" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0" | |
transform="translate(159.58618,134.765)" | |
id="path11657" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.609375,0 -1.09375,0.296875 -1.40625,0.71875 v -3.109375 h -0.75 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0" | |
transform="translate(163.18367,134.765)" | |
id="path11659" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
style="fill:#eb811b;fill-opacity:1" | |
id="g11669"> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 5.859375,-0.453125 -0.0625,-0.6875 C 5.5,-0.9375 5.21875,-0.75 4.875,-0.640625 c -0.3125,0.109375 -0.671875,0.109375 -1,0.109375 -0.65625,0 -1.25,-0.34375 -1.65625,-0.859375 -0.453125,-0.578125 -0.671875,-1.328125 -0.671875,-2.0625 0,-0.75 0.21875,-1.5 0.671875,-2.09375 0.40625,-0.5 1,-0.859375 1.65625,-0.859375 0.296875,0 0.59375,0.03125 0.890625,0.125 0.296875,0.09375 0.578125,0.234375 0.84375,0.421875 l 0.125,-0.8125 C 5.4375,-6.796875 5.140625,-6.890625 4.8125,-6.953125 4.5,-7.015625 4.1875,-7.03125 3.875,-7.03125 c -0.890625,0 -1.6875,0.390625 -2.28125,1.046875 -0.609375,0.6875 -0.9375,1.59375 -0.9375,2.53125 0,0.921875 0.328125,1.828125 0.9375,2.515625 C 2.1875,-0.296875 2.984375,0.109375 3.875,0.109375 4.21875,0.109375 4.5625,0.09375 4.90625,0 5.25,-0.09375 5.546875,-0.265625 5.859375,-0.453125 Z m 0,0" | |
transform="translate(171.65886,134.765)" | |
id="path11663" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
transform="translate(178.02396,134.765)" | |
id="path11665" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0" | |
transform="translate(183.00526,134.765)" | |
id="path11667" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
style="fill:#eb811b;fill-opacity:1" | |
id="g11683"> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.328125,0 v -6.921875 h -0.75 v 2.9375 C 3.046875,-4.421875 2.5,-4.53125 2.125,-4.53125 c -0.984375,0 -1.765625,1.03125 -1.765625,2.3125 0,1.3125 0.765625,2.328125 1.71875,2.328125 0.328125,0 0.90625,-0.09375 1.46875,-0.625 V 0 Z M 3.546875,-1.390625 C 3.546875,-1.25 3.53125,-1.0625 3.21875,-0.78125 2.984375,-0.578125 2.734375,-0.5 2.484375,-0.5 c -0.625,0 -1.34375,-0.46875 -1.34375,-1.703125 0,-1.3125 0.859375,-1.71875 1.4375,-1.71875 0.453125,0 0.75,0.21875 0.96875,0.546875 z m 0,0" | |
transform="translate(188.14297,134.765)" | |
id="path11671" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0" | |
transform="translate(193.29065,134.765)" | |
id="path11673" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0" | |
transform="translate(195.67071,134.765)" | |
id="path11675" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0" | |
transform="translate(199.26821,134.765)" | |
id="path11677" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
transform="translate(201.64827,134.765)" | |
id="path11679" | |
inkscape:connector-curvature="0" /> | |
<path | |
style="fill:#eb811b;fill-opacity:1;stroke:none;stroke-width:0" | |
d="m 4.34375,0 v -2.96875 c 0,-0.65625 -0.15625,-1.5625 -1.375,-1.5625 -0.890625,0 -1.390625,0.671875 -1.4375,0.75 V -4.484375 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.65625 0.25,-1.484375 1.015625,-1.484375 0.953125,0 0.96875,0.703125 0.96875,1.015625 V 0 Z m 0,0" | |
transform="translate(206.62957,134.765)" | |
id="path11681" | |
inkscape:connector-curvature="0" /> | |
</g> | |
</g> | |
</g> | |
<path | |
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1" | |
d="M 64.965189,56.350296 53.485173,50.36373" | |
id="path12483-4" | |
inkscape:connector-curvature="0" | |
sodipodi:nodetypes="cc" /> | |
</g> | |
<g | |
inkscape:groupmode="layer" | |
id="layer35" | |
inkscape:label="Legend-Store [2-]" | |
style="display:inline"> | |
<g | |
id="g11050" | |
ns1:jacobian_sqrt="0.352778" | |
inkscapeversion="0.92.3" | |
ns1:alignment="middle center" | |
ns1:scale="1.00000008505" | |
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex" | |
ns1:text="Symbolic Store" | |
ns1:pdfconverter="pdf2svg" | |
ns1:texconverter="pdflatex" | |
ns1:version="0.8.1" | |
transform="matrix(0.35277801,0,0,0.35277801,-23.367713,11.674045)" | |
style="display:inline;fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<g | |
id="g11048" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<g | |
id="g11022" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<path | |
id="path11014" | |
transform="translate(148.712,134.765)" | |
d="M 4.96875,-1.890625 C 4.96875,-2.53125 4.671875,-3.015625 4.453125,-3.25 3.984375,-3.75 3.65625,-3.84375 2.734375,-4.0625 2.15625,-4.203125 2,-4.25 1.6875,-4.5 1.625,-4.5625 1.34375,-4.859375 1.34375,-5.296875 c 0,-0.578125 0.546875,-1.1875 1.453125,-1.1875 0.84375,0 1.3125,0.328125 1.6875,0.640625 l 0.15625,-0.796875 c -0.546875,-0.328125 -1.109375,-0.5 -1.828125,-0.5 -1.390625,0 -2.25,0.984375 -2.25,1.96875 0,0.421875 0.140625,0.84375 0.53125,1.265625 0.421875,0.453125 0.859375,0.5625 1.453125,0.703125 0.84375,0.21875 0.9375,0.25 1.21875,0.484375 0.203125,0.171875 0.421875,0.5 0.421875,0.9375 0,0.65625 -0.546875,1.3125 -1.453125,1.3125 -0.40625,0 -1.3125,-0.09375 -2.140625,-0.8125 l -0.15625,0.8125 c 0.875,0.546875 1.671875,0.6875 2.296875,0.6875 1.328125,0 2.234375,-1 2.234375,-2.109375 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11016" | |
transform="translate(154.24722,134.765)" | |
d="m 4.453125,-4.421875 h -0.75 C 2.40625,-1.25 2.375,-0.796875 2.375,-0.5625 H 2.359375 C 2.296875,-1.234375 1.5,-3.09375 1.46875,-3.1875 L 0.921875,-4.421875 H 0.140625 L 2.078125,0 1.71875,0.890625 C 1.453125,1.46875 1.28125,1.46875 1.140625,1.46875 0.984375,1.46875 0.671875,1.4375 0.375,1.3125 l 0.046875,0.65625 c 0.21875,0.046875 0.5,0.078125 0.71875,0.078125 0.359375,0 0.71875,-0.125 1.125,-1.140625 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11018" | |
transform="translate(158.84097,134.765)" | |
d="m 7.109375,0 v -2.96875 c 0,-0.671875 -0.15625,-1.5625 -1.375,-1.5625 -0.59375,0 -1.109375,0.28125 -1.484375,0.8125 -0.25,-0.75 -0.953125,-0.8125 -1.265625,-0.8125 -0.71875,0 -1.1875,0.40625 -1.453125,0.765625 v -0.71875 H 0.8125 V 0 h 0.765625 v -2.4375 c 0,-0.6875 0.28125,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 h 0.78125 v -2.4375 c 0,-0.6875 0.265625,-1.484375 1.015625,-1.484375 0.921875,0 0.96875,0.640625 0.96875,1.015625 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11020" | |
transform="translate(166.75626,134.765)" | |
d="m 4.78125,-2.21875 c 0,-1.234375 -0.671875,-2.3125 -1.609375,-2.3125 -0.390625,0 -1.015625,0.09375 -1.609375,0.578125 v -2.96875 h -0.75 V 0 h 0.78125 v -0.453125 c 0.234375,0.21875 0.671875,0.5625 1.34375,0.5625 0.984375,0 1.84375,-1 1.84375,-2.328125 z M 4,-2.21875 C 4,-0.921875 3.171875,-0.5 2.5625,-0.5 2.171875,-0.5 1.84375,-0.671875 1.59375,-1.140625 V -3.34375 C 1.75,-3.578125 2.109375,-3.921875 2.65625,-3.921875 3.25,-3.921875 4,-3.5 4,-2.21875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g11032" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<path | |
id="path11024" | |
transform="translate(172.18289,134.765)" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11026" | |
transform="translate(177.16419,134.765)" | |
d="m 1.5625,0 v -6.921875 h -0.75 V 0 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11028" | |
transform="translate(179.54425,134.765)" | |
d="m 1.5625,0 v -4.421875 h -0.75 V 0 Z M 1.640625,-5.640625 V -6.53125 H 0.75 v 0.890625 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11030" | |
transform="translate(181.92432,134.765)" | |
d="m 4.140625,-0.40625 -0.0625,-0.65625 c -0.515625,0.390625 -1.046875,0.53125 -1.5625,0.53125 -0.828125,0 -1.375,-0.71875 -1.375,-1.6875 C 1.140625,-3 1.5,-3.953125 2.5625,-3.953125 c 0.515625,0 0.859375,0.078125 1.40625,0.4375 l 0.125,-0.65625 C 3.5,-4.5 3.15625,-4.59375 2.546875,-4.59375 c -1.375,0 -2.1875,1.203125 -2.1875,2.375 0,1.234375 0.90625,2.328125 2.15625,2.328125 0.53125,0 1.078125,-0.140625 1.625,-0.515625 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g11040" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<path | |
id="path11034" | |
transform="translate(189.67024,134.765)" | |
d="M 4.96875,-1.890625 C 4.96875,-2.53125 4.671875,-3.015625 4.453125,-3.25 3.984375,-3.75 3.65625,-3.84375 2.734375,-4.0625 2.15625,-4.203125 2,-4.25 1.6875,-4.5 1.625,-4.5625 1.34375,-4.859375 1.34375,-5.296875 c 0,-0.578125 0.546875,-1.1875 1.453125,-1.1875 0.84375,0 1.3125,0.328125 1.6875,0.640625 l 0.15625,-0.796875 c -0.546875,-0.328125 -1.109375,-0.5 -1.828125,-0.5 -1.390625,0 -2.25,0.984375 -2.25,1.96875 0,0.421875 0.140625,0.84375 0.53125,1.265625 0.421875,0.453125 0.859375,0.5625 1.453125,0.703125 0.84375,0.21875 0.9375,0.25 1.21875,0.484375 0.203125,0.171875 0.421875,0.5 0.421875,0.9375 0,0.65625 -0.546875,1.3125 -1.453125,1.3125 -0.40625,0 -1.3125,-0.09375 -2.140625,-0.8125 l -0.15625,0.8125 c 0.875,0.546875 1.671875,0.6875 2.296875,0.6875 1.328125,0 2.234375,-1 2.234375,-2.109375 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11036" | |
transform="translate(195.20546,134.765)" | |
d="M 3.3125,-0.265625 3.15625,-0.859375 C 2.890625,-0.640625 2.578125,-0.53125 2.25,-0.53125 c -0.359375,0 -0.5,-0.296875 -0.5,-0.828125 V -3.84375 H 3.15625 V -4.421875 H 1.75 V -5.6875 H 1.0625 v 1.265625 h -0.875 v 0.578125 h 0.84375 v 2.65625 c 0,0.59375 0.140625,1.296875 0.828125,1.296875 0.6875,0 1.203125,-0.25 1.453125,-0.375 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11038" | |
transform="translate(198.80296,134.765)" | |
d="m 4.671875,-2.1875 c 0,-1.34375 -1,-2.40625 -2.171875,-2.40625 -1.234375,0 -2.203125,1.09375 -2.203125,2.40625 0,1.3125 1.015625,2.296875 2.1875,2.296875 1.1875,0 2.1875,-1 2.1875,-2.296875 z m -0.78125,-0.109375 c 0,1.1875 -0.671875,1.765625 -1.40625,1.765625 -0.6875,0 -1.40625,-0.5625 -1.40625,-1.765625 0,-1.203125 0.75,-1.6875 1.40625,-1.6875 0.703125,0 1.40625,0.515625 1.40625,1.6875 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
<g | |
id="g11046" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-opacity:1"> | |
<path | |
id="path11042" | |
transform="translate(203.5053,134.765)" | |
d="m 3.265625,-3.875 v -0.65625 c -0.890625,0 -1.4375,0.5 -1.75,0.953125 v -0.90625 H 0.8125 V 0 h 0.75 V -2.140625 C 1.5625,-3.125 2.28125,-3.84375 3.265625,-3.875 Z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
<path | |
id="path11044" | |
transform="translate(206.90952,134.765)" | |
d="M 4.125,-2.1875 C 4.125,-2.515625 4.109375,-3.265625 3.734375,-3.875 3.3125,-4.484375 2.71875,-4.59375 2.359375,-4.59375 1.25,-4.59375 0.34375,-3.53125 0.34375,-2.25 c 0,1.3125 0.96875,2.359375 2.15625,2.359375 0.625,0 1.203125,-0.234375 1.59375,-0.515625 L 4.03125,-1.0625 C 3.40625,-0.53125 2.734375,-0.5 2.515625,-0.5 1.71875,-0.5 1.078125,-1.203125 1.046875,-2.1875 Z M 3.5625,-2.734375 H 1.09375 c 0.15625,-0.75 0.6875,-1.25 1.265625,-1.25 0.515625,0 1.0625,0.328125 1.203125,1.25 z m 0,0" | |
style="fill:#eb811b;fill-opacity:1;stroke:#ff0000;stroke-width:0;stroke-opacity:1" | |
inkscape:connector-curvature="0" /> | |
</g> | |
</g> | |
</g> | |
<path | |
style="display:inline;fill:none;fill-opacity:1;fill-rule:evenodd;stroke:#eb811b;stroke-width:0.26499999;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:0.265, 0.265;stroke-dashoffset:0;stroke-opacity:1" | |
d="M 38.022074,56.350296 48.744229,50.36373" | |
id="path12483" | |
inkscape:connector-curvature="0" | |
sodipodi:nodetypes="cc" /> | |
</g> | |
</g> | |
<g | |
transform="translate(0,-201)" | |
id="layer1" | |
inkscape:groupmode="layer" | |
inkscape:label="SE Rule [1-]" | |
style="display:inline"> | |
<rect | |
transform="translate(0,201)" | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" | |
id="rect19048-4" | |
width="7.5387297" | |
height="4.3467264" | |
x="-13.956141" | |
y="34.855072" /> | |
<rect | |
y="226.19778" | |
x="-31.174852" | |
height="8.598958" | |
width="24.757441" | |
id="rect11515" | |
style="display:inline;opacity:0.4;fill:#00ff00;fill-opacity:1;stroke:none;stroke-width:0.46499994;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1" /> | |
<g | |
transform="matrix(0.352778,0,0,0.352778,-6.1531464,202.57525)" | |
ns1:version="0.8.1" | |
ns1:texconverter="pdflatex" | |
ns1:pdfconverter="pdf2svg" | |
ns1:text="$\\dualSESt{\\U}{C}{p}{q^{(n)}}{\\obs}$" | |
ns1:preamble="/home/dscheurer/tmp/CorrectnessCompilationRules/Presentation/images/inkscape-preable.tex" | |
ns1:scale="1.00000008505" | |
ns1:alignment="middle center" | |
inkscapeversion="0.92.3" | |
ns1:jacobian_sqrt="0.352778" | |
id="g22113"> | |
<g | |
id="g22496"> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22048"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 3.296875,2.390625 c 0,-0.03125 0,-0.046875 -0.171875,-0.21875 C 1.890625,0.921875 1.5625,-0.96875 1.5625,-2.5 c 0,-1.734375 0.375,-3.46875 1.609375,-4.703125 0.125,-0.125 0.125,-0.140625 0.125,-0.171875 0,-0.078125 -0.03125,-0.109375 -0.09375,-0.109375 -0.109375,0 -1,0.6875 -1.59375,1.953125 -0.5,1.09375 -0.625,2.203125 -0.625,3.03125 0,0.78125 0.109375,1.984375 0.65625,3.125 C 2.25,1.84375 3.09375,2.5 3.203125,2.5 c 0.0625,0 0.09375,-0.03125 0.09375,-0.109375 z m 0,0" | |
transform="translate(148.712,134.765)" | |
id="path22046" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22052"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 5.890625,-0.34375 c 0,-0.0625 -0.046875,-0.078125 -0.09375,-0.078125 -0.109375,0 -0.296875,0.078125 -0.40625,0.15625 C 5.25,-0.296875 5.1875,-0.390625 5.1875,-0.53125 c 0,-0.796875 0.421875,-2.234375 0.546875,-2.703125 L 6.09375,-4.4375 c 0.171875,-0.59375 0.25,-0.875 0.453125,-1.34375 0.234375,-0.625 0.3125,-0.90625 0.3125,-0.953125 0,-0.0625 -0.046875,-0.078125 -0.09375,-0.078125 -0.1875,0 -0.640625,0.234375 -0.75,0.484375 C 6,-6.296875 5.90625,-6.03125 5.75,-5.59375 5.15625,-3.875 2.65625,-0.328125 1.46875,-0.328125 c -0.59375,0 -0.796875,-0.5625 -0.796875,-1.0625 0,-0.71875 0.40625,-1.625 1.015625,-3 0.421875,-1 0.640625,-1.5625 0.640625,-1.9375 0,-0.40625 -0.234375,-0.484375 -0.5,-0.484375 -0.765625,0 -1.734375,0.609375 -1.734375,0.828125 0,0.0625 0.078125,0.0625 0.109375,0.0625 0.109375,0 0.3125,-0.078125 0.5,-0.203125 0.1875,-0.140625 0.46875,-0.140625 0.46875,-0.140625 0.203125,0 0.296875,0.125 0.296875,0.359375 0,0.4375 -0.359375,1.28125 -0.703125,2.046875 -0.671875,1.515625 -0.9375,2.25 -0.9375,2.875 0,0.59375 0.21875,1.203125 0.984375,1.203125 0.984375,0 2.546875,-1 4.09375,-3.171875 H 4.921875 C 4.6875,-2.109375 4.34375,-0.875 4.34375,-0.109375 c 0,0.09375 0,0.390625 0.40625,0.390625 0.390625,0 1.140625,-0.4375 1.140625,-0.625 z m 0,0" | |
transform="translate(152.587,134.765)" | |
id="path22050" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22056"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 1.796875,-0.015625 v -0.8125 H 0.96875 V 0 h 0.25 l -0.25,1.25 H 1.375 Z m 0,0" | |
transform="translate(159.811,134.765)" | |
id="path22054" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22060"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="M 7.171875,-6.6875 C 6.5625,-6.953125 6.015625,-7.03125 5.40625,-7.03125 c -2.171875,0 -4.09375,2.203125 -4.09375,4.421875 0,1.46875 0.984375,2.71875 2.515625,2.71875 0.9375,0 1.3125,-0.109375 2.125,-0.5625 l 0.09375,-0.6875 C 5.265625,-0.671875 4.8125,-0.53125 4.0625,-0.53125 c -1.265625,0 -1.859375,-1.03125 -1.859375,-2.15625 0,-1.875 1.453125,-3.703125 3.0625,-3.703125 0.65625,0 1.046875,0.15625 1.59375,0.515625 z m 0,0" | |
transform="translate(164.239,134.765)" | |
id="path22058" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22064"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 1.796875,-0.015625 v -0.8125 H 0.96875 V 0 h 0.25 l -0.25,1.25 H 1.375 Z m 0,0" | |
transform="translate(171.798,134.765)" | |
id="path22062" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22068"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 1.6875,-0.453125 c 0.15625,0.15625 0.515625,0.5625 1.21875,0.5625 1.1875,0 2.421875,-1.375 2.421875,-3.03125 0,-0.84375 -0.375,-1.609375 -1.15625,-1.609375 -0.625,0 -1.296875,0.25 -1.765625,0.59375 L 2.5,-4.421875 H 1.75 L 0.40625,1.9375 H 1.1875 Z m 0.578125,-2.71875 C 2.3125,-3.34375 2.328125,-3.34375 2.4375,-3.46875 c 0.4375,-0.375 0.84375,-0.421875 1.046875,-0.421875 0.609375,0 1.046875,0.5 1.046875,1.25 0,1.125 -0.953125,2.140625 -1.875,2.140625 -0.671875,0 -0.8125,-0.609375 -0.8125,-0.65625 0,-0.015625 0.03125,-0.125 0.03125,-0.140625 z m 0,0" | |
transform="translate(176.226,134.765)" | |
id="path22066" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22074"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="M 5.515625,-0.328125 V -6.59375 c 0,-0.140625 0,-0.328125 -0.1875,-0.328125 C 5.125,-6.921875 5.125,-6.71875 5.125,-6.578125 V -3.65625 H 0.890625 c -0.140625,0 -0.328125,0 -0.328125,0.203125 0,0.1875 0.1875,0.1875 0.328125,0.1875 H 5.125 V -0.34375 C 5.125,-0.203125 5.125,0 5.328125,0 c 0.1875,0 0.1875,-0.1875 0.1875,-0.328125 z m 0,0" | |
transform="translate(184.528,134.765)" | |
id="path22070" /> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 5.515625,-3.453125 c 0,-0.203125 -0.1875,-0.203125 -0.328125,-0.203125 H 0.953125 v -2.9375 c 0,-0.140625 0,-0.328125 -0.203125,-0.328125 -0.1875,0 -0.1875,0.203125 -0.1875,0.34375 V -0.34375 C 0.5625,-0.203125 0.5625,0 0.75,0 0.953125,0 0.953125,-0.1875 0.953125,-0.328125 v -2.9375 H 5.1875 c 0.140625,0 0.328125,0 0.328125,-0.1875 z m 0,0" | |
transform="translate(190.61614,134.765)" | |
id="path22072" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22078"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 5.296875,-4.53125 h -0.75 L 4.40625,-3.875 C 4.265625,-4.09375 3.875,-4.53125 3.171875,-4.53125 2,-4.53125 0.75,-3.15625 0.75,-1.546875 c 0,0.9375 0.46875,1.65625 1.28125,1.65625 0.6875,0 1.296875,-0.359375 1.625,-0.59375 L 3.140625,1.9375 h 0.78125 z M 3.875,-1.359375 C 3.8125,-1.125 3.59375,-0.921875 3.390625,-0.78125 3.109375,-0.578125 2.828125,-0.5 2.609375,-0.5 1.921875,-0.5 1.5625,-1.09375 1.5625,-1.765625 c 0,-1.15625 0.953125,-2.125 1.84375,-2.125 0.796875,0 0.796875,0.90625 0.796875,0.921875 l -0.03125,0.171875 z m 0,0" | |
transform="translate(199.472,134.765)" | |
id="path22076" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22082"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 2.609375,1.65625 c 0,-0.046875 -0.015625,-0.0625 -0.0625,-0.109375 C 1.609375,0.703125 1.28125,-0.46875 1.28125,-1.734375 1.28125,-3.625 2,-4.546875 2.5625,-5.0625 2.59375,-5.09375 2.609375,-5.109375 2.609375,-5.140625 2.609375,-5.21875 2.53125,-5.21875 2.46875,-5.21875 1.15625,-4.296875 0.796875,-2.8125 0.796875,-1.75 c 0,0.984375 0.296875,2.515625 1.671875,3.484375 0.0625,0 0.140625,0 0.140625,-0.078125 z m 0,0" | |
transform="translate(205.034,131.149)" | |
id="path22080" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22086"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 3.6875,-2.078125 c 0.03125,-0.125 0.046875,-0.203125 0.046875,-0.375 0,-0.59375 -0.453125,-0.703125 -0.84375,-0.703125 -0.390625,0 -0.8125,0.15625 -1.1875,0.515625 l 0.109375,-0.5 H 1.25 L 0.578125,0 H 1.1875 L 1.484375,-1.453125 C 1.59375,-1.875 1.625,-2.09375 1.859375,-2.375 2.03125,-2.59375 2.25,-2.703125 2.5,-2.703125 c 0.34375,0 0.59375,0.125 0.59375,0.453125 0,0.109375 0,0.125 -0.015625,0.171875 L 2.640625,0 h 0.59375 z m 0,0" | |
transform="translate(208.148,131.149)" | |
id="path22084" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22090"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="M 2.296875,-1.734375 C 2.296875,-2.71875 2,-4.25 0.625,-5.21875 c -0.046875,0 -0.125,0 -0.125,0.078125 0,0.03125 0.015625,0.046875 0.0625,0.109375 0.59375,0.546875 1.265625,1.484375 1.265625,3.28125 0,1.453125 -0.453125,2.5625 -1.203125,3.234375 -0.125,0.125 -0.125,0.125 -0.125,0.171875 0,0.03125 0.015625,0.078125 0.078125,0.078125 0.09375,0 0.75,-0.453125 1.21875,-1.328125 0.296875,-0.578125 0.5,-1.328125 0.5,-2.140625 z m 0,0" | |
transform="translate(212.09,131.149)" | |
id="path22088" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22098"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 2.875,-2.5 c 0,-0.765625 -0.109375,-1.96875 -0.65625,-3.109375 -0.59375,-1.21875 -1.453125,-1.875 -1.546875,-1.875 -0.0625,0 -0.109375,0.046875 -0.109375,0.109375 0,0.03125 0,0.046875 0.1875,0.234375 0.984375,0.984375 1.546875,2.5625 1.546875,4.640625 0,1.71875 -0.359375,3.46875 -1.59375,4.71875 C 0.5625,2.34375 0.5625,2.359375 0.5625,2.390625 0.5625,2.453125 0.609375,2.5 0.671875,2.5 0.765625,2.5 1.671875,1.8125 2.25,0.546875 2.765625,-0.546875 2.875,-1.65625 2.875,-2.5 Z m 0,0" | |
transform="translate(215.701,134.765)" | |
id="path22092" /> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 7.1875,-3.375 c 0,-2.328125 -1.703125,-3.65625 -3.3125,-3.65625 -1.828125,0 -3.3125,1.59375 -3.3125,3.578125 0,1.875 1.375,3.5625 3.359375,3.5625 0.53125,0 1.15625,-0.0625 1.796875,-0.21875 0.265625,-0.0625 1.453125,-0.40625 1.453125,-0.5625 0,-0.109375 -0.0625,-0.109375 -0.21875,-0.109375 h -0.09375 c -0.15625,0 -0.1875,0 -0.234375,0.03125 -0.84375,0.40625 -1.765625,0.640625 -2.703125,0.640625 -1.8125,0 -3.109375,-1.5625 -3.109375,-3.34375 0,-1.90625 1.421875,-3.359375 3.0625,-3.359375 1.359375,0 3.0625,1.09375 3.0625,3.5 0,0.921875 -0.0625,1.8125 -0.734375,1.8125 -0.34375,0 -0.34375,-0.5 -0.34375,-0.65625 V -4.5625 c 0,-0.21875 0,-0.234375 -0.234375,-0.234375 H 5.453125 C 5.296875,-4.796875 5.28125,-4.8125 5.21875,-4.875 4.765625,-5.5 4.25,-5.640625 3.859375,-5.640625 c -1.03125,0 -1.96875,0.921875 -1.96875,2.1875 0,1.25 0.9375,2.171875 1.96875,2.171875 0.53125,0 1.015625,-0.28125 1.3125,-0.703125 0.109375,0.515625 0.625,0.703125 1,0.703125 0.875,0 1.015625,-1.015625 1.015625,-2.09375 z m -2.015625,0.765625 c 0,0.171875 0,0.21875 -0.140625,0.421875 -0.4375,0.625 -0.9375,0.6875 -1.140625,0.6875 -0.71875,0 -1.3125,-0.859375 -1.3125,-1.953125 0,-1.109375 0.578125,-1.96875 1.3125,-1.96875 0.3125,0 0.796875,0.15625 1.15625,0.71875 0.125,0.1875 0.125,0.21875 0.125,0.390625 z m 0,0" | |
transform="translate(219.57545,134.765)" | |
id="path22094" /> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 3.296875,2.390625 c 0,-0.03125 0,-0.046875 -0.171875,-0.21875 C 1.890625,0.921875 1.5625,-0.96875 1.5625,-2.5 c 0,-1.734375 0.375,-3.46875 1.609375,-4.703125 0.125,-0.125 0.125,-0.140625 0.125,-0.171875 0,-0.078125 -0.03125,-0.109375 -0.09375,-0.109375 -0.109375,0 -1,0.6875 -1.59375,1.953125 -0.5,1.09375 -0.625,2.203125 -0.625,3.03125 0,0.78125 0.109375,1.984375 0.65625,3.125 C 2.25,1.84375 3.09375,2.5 3.203125,2.5 c 0.0625,0 0.09375,-0.03125 0.09375,-0.109375 z m 0,0" | |
transform="translate(227.32436,134.765)" | |
id="path22096" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22106"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="M 5.140625,-2.1875 C 5.421875,-3.53125 4.65625,-4.59375 3.46875,-4.59375 2.25,-4.59375 1.046875,-3.5 0.765625,-2.1875 c -0.28125,1.3125 0.53125,2.296875 1.703125,2.296875 1.1875,0 2.390625,-1 2.671875,-2.296875 z m -0.75,-0.109375 c -0.25,1.1875 -1.0625,1.765625 -1.796875,1.765625 -0.6875,0 -1.28125,-0.5625 -1.03125,-1.765625 0.265625,-1.203125 1.125,-1.6875 1.765625,-1.6875 0.703125,0 1.3125,0.515625 1.0625,1.6875 z m 0,0" | |
transform="translate(231.199,134.765)" | |
id="path22100" /> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 5.25,-2.21875 c 0.265625,-1.234375 -0.171875,-2.3125 -1.109375,-2.3125 -0.390625,0 -1.03125,0.09375 -1.734375,0.578125 l 0.640625,-2.96875 h -0.75 L 0.8125,0 H 1.59375 L 1.6875,-0.453125 c 0.203125,0.21875 0.5625,0.5625 1.21875,0.5625 1,0 2.0625,-1 2.34375,-2.328125 z m -0.78125,0 C 4.203125,-0.921875 3.28125,-0.5 2.671875,-0.5 2.28125,-0.5 1.984375,-0.671875 1.828125,-1.140625 L 2.296875,-3.34375 C 2.515625,-3.578125 2.953125,-3.921875 3.5,-3.921875 c 0.59375,0 1.25,0.421875 0.96875,1.703125 z m 0,0" | |
transform="translate(236.1803,134.765)" | |
id="path22102" /> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 3.859375,-1.28125 c 0.125,-0.546875 -0.1875,-0.875 -0.1875,-0.90625 C 3.34375,-2.546875 3.09375,-2.609375 2.609375,-2.6875 2.09375,-2.796875 1.65625,-2.90625 1.75,-3.390625 1.890625,-4 2.609375,-4 2.734375,-4 c 0.3125,0 0.84375,0.03125 1.328125,0.375 l 0.265625,-0.65625 c -0.46875,-0.234375 -0.859375,-0.3125 -1.375,-0.3125 -0.234375,0 -1.640625,0 -1.921875,1.296875 -0.109375,0.5 0.109375,0.8125 0.328125,1 0.25,0.21875 0.46875,0.265625 1,0.375 0.34375,0.0625 0.890625,0.1875 0.78125,0.71875 -0.15625,0.6875 -0.9375,0.6875 -1.09375,0.6875 -0.796875,0 -1.28125,-0.375 -1.4375,-0.484375 L 0.34375,-0.328125 c 0.296875,0.15625 0.78125,0.4375 1.59375,0.4375 0.171875,0 0.71875,0 1.21875,-0.3125 0.359375,-0.25 0.609375,-0.640625 0.703125,-1.078125 z m 0,0" | |
transform="translate(241.32797,134.765)" | |
id="path22104" /> | |
</g> | |
<g | |
style="fill:#21353a;fill-opacity:1" | |
id="g22110"> | |
<path | |
inkscape:connector-curvature="0" | |
style="stroke:none;stroke-width:0" | |
d="m 2.875,-2.5 c 0,-0.765625 -0.109375,-1.96875 -0.65625,-3.109375 -0.59375,-1.21875 -1.453125,-1.875 -1.546875,-1.875 -0.0625,0 -0.109375,0.046875 -0.109375,0.109375 0,0.03125 0,0.046875 0.1875,0.234375 0.984375,0.984375 1.546875,2.5625 1.546875,4.640625 0,1.71875 -0.359375,3.46875 -1.59375,4.71875 C 0.5625,2.34375 0.5625,2.359375 0.5625,2.390625 0.5625,2.453125 0.609375,2.5 0.671875,2.5 0.765625,2.5 1.671875,1.8125 2.25,0.546875 2.765625,-0.546875 2.875,-1.65625 2.875,-2.5 Z m 0,0" | |
transform="translate(245.147,134.765)" | |
id="path22108" /> | |
</g> | |
</g> | |
</g> | |
</g> | |
</svg> |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment