Move control-flow-graph stuff

tikz/control-flow-graph/Makefile

@@ -1,14 +1,14 @@
-SOURCE = teststrategien-anschaulich
+SOURCE = control-flow-graph
 DELAY = 80
 DENSITY = 300
-WIDTH = 500
+WIDTH = 512
 
 make:
 	pdflatex $(SOURCE).tex -output-format=pdf
 	make clean
 
 clean:
-	rm -rf  $(TARGET) *.class *.html *.log *.aux
+	rm -rf  $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot
 
 gif:
 	pdfcrop $(SOURCE).pdf
@@ -28,4 +28,6 @@ svg:
 	#inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg
 	pdf2svg $(SOURCE).pdf $(SOURCE).svg
 	# Necessary, as pdf2svg does not always create valid svgs:
-	inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg
+	inkscape $(SOURCE).svg --export-width=$(WIDTH) --export-plain-svg=$(SOURCE)1.svg
+	rsvg-convert -a -w 720 -f svg $(SOURCE)1.svg -o $(SOURCE).svg
+	rm $(SOURCE)1.svg

tikz/control-flow-graph/README.md

@@ -0,0 +1,3 @@
+Compiled example
+----------------
+![Example](control-flow-graph.png)

tikz/control-flow-graph/control-flow-graph.svg

@@ -0,0 +1,43 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" width="720pt" height="198pt" viewBox="0 0 720 198" version="1.1">
+<g id="surface1">
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M -17.494805 -6.751981 L 17.493767 -6.751981 L 17.493767 6.752896 L -17.494805 6.752896 Z M -17.494805 -6.751981 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 49.609375 57.261719 C 51.847656 59 53.585938 59.726562 56.386719 59.726562 C 60.644531 59.726562 63.277344 55.914062 63.277344 52.273438 C 63.277344 49.300781 61.597656 46.554688 58.742188 45.378906 C 56.554688 44.480469 53.867188 44.539062 51.960938 43.417969 C 50.5625 42.519531 49.71875 40.953125 49.71875 39.382812 C 49.71875 36.578125 52.128906 34.730469 54.652344 34.730469 C 58.179688 34.730469 60.644531 37.589844 61.207031 41.175781 C 61.316406 41.679688 61.207031 42.632812 61.878906 42.632812 C 62.269531 42.632812 62.269531 42.351562 62.269531 42.015625 L 62.269531 34.28125 C 62.269531 34 62.214844 33.777344 61.933594 33.777344 C 61.429688 33.777344 61.039062 34.730469 60.703125 35.234375 C 60.535156 35.515625 60.253906 35.90625 60.140625 36.242188 C 58.628906 34.785156 56.949219 33.777344 54.59375 33.777344 C 51.066406 33.777344 47.421875 36.1875 47.421875 40.726562 C 47.421875 44.425781 50.167969 46.890625 53.640625 47.621094 C 54.425781 47.789062 55.097656 48.011719 55.882812 48.179688 C 57.84375 48.6875 59.859375 49.191406 60.703125 51.710938 C 60.925781 52.273438 61.039062 52.832031 61.039062 53.394531 C 61.039062 56.082031 59.1875 58.660156 56.164062 58.660156 C 52.632812 58.660156 49.160156 56.757812 48.433594 52.609375 C 48.375 52.328125 48.375 51.9375 48.320312 51.65625 L 48.320312 51.375 C 48.320312 51.039062 48.152344 50.871094 47.871094 50.871094 C 47.480469 50.871094 47.421875 51.152344 47.421875 51.375 L 47.421875 59.222656 C 47.421875 59.503906 47.480469 59.726562 47.757812 59.726562 C 48.320312 59.726562 48.710938 58.773438 48.992188 58.269531 C 49.214844 57.933594 49.441406 57.597656 49.609375 57.261719 Z M 49.609375 57.261719 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 70.625 36.972656 C 70.625 39.4375 69.617188 43.921875 65.917969 43.921875 L 65.917969 44.707031 L 69 44.707031 L 69 53.898438 C 69 55.074219 69.113281 56.308594 69.671875 57.316406 C 70.457031 58.773438 72.136719 59.335938 73.707031 59.335938 C 76.621094 59.335938 77.179688 56.082031 77.179688 53.785156 L 77.179688 52.496094 L 76.339844 52.496094 C 76.339844 53 76.339844 53.5625 76.339844 54.121094 C 76.339844 55.691406 76.003906 58.4375 73.875 58.4375 C 71.859375 58.4375 71.523438 55.972656 71.523438 54.402344 L 71.523438 44.707031 L 76.621094 44.707031 L 76.621094 43.585938 L 71.523438 43.585938 L 71.523438 36.972656 Z M 70.625 36.972656 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 83.167969 45.378906 C 84.066406 44.257812 85.632812 43.753906 86.980469 43.753906 C 89.613281 43.753906 90.789062 46.164062 90.789062 48.6875 L 90.789062 49.636719 C 86.699219 49.636719 80.648438 50.925781 80.648438 55.578125 L 80.648438 55.859375 C 80.929688 58.660156 84.402344 59.335938 86.476562 59.335938 C 88.269531 59.335938 90.621094 58.15625 91.070312 56.308594 C 91.292969 57.878906 92.300781 59.167969 93.871094 59.167969 C 95.328125 59.167969 96.617188 57.988281 96.839844 56.363281 L 96.839844 53.785156 L 95.945312 53.785156 L 95.945312 55.578125 C 95.945312 56.589844 95.71875 58.046875 94.65625 58.046875 C 93.476562 58.046875 93.308594 56.644531 93.308594 55.691406 L 93.308594 49.695312 C 93.308594 49.246094 93.367188 48.796875 93.367188 48.347656 C 93.367188 44.875 90.117188 42.96875 87.148438 42.96875 C 84.851562 42.96875 81.710938 44.089844 81.710938 46.949219 C 81.710938 47.957031 82.441406 48.6875 83.394531 48.6875 C 84.402344 48.6875 84.960938 47.902344 84.960938 47.003906 C 84.960938 45.996094 84.179688 45.378906 83.167969 45.378906 Z M 90.789062 50.367188 L 90.789062 54.011719 C 90.789062 56.476562 89.109375 58.4375 86.753906 58.550781 L 86.644531 58.550781 C 84.960938 58.550781 83.449219 57.261719 83.449219 55.523438 L 83.449219 55.355469 C 83.671875 51.710938 87.707031 50.480469 90.789062 50.367188 Z M 90.789062 50.367188 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 98 43.585938 L 98 44.707031 L 98.5625 44.707031 C 99.738281 44.707031 100.804688 44.820312 100.804688 46.5 L 100.804688 56.363281 C 100.804688 57.820312 99.792969 57.878906 98.226562 57.878906 L 98 57.878906 L 98 58.941406 L 106.6875 58.941406 L 106.6875 57.878906 C 106.238281 57.878906 105.734375 57.878906 105.285156 57.878906 C 104.164062 57.878906 103.210938 57.710938 103.210938 56.363281 L 103.210938 51.65625 C 103.210938 48.574219 103.882812 43.976562 107.414062 43.976562 C 107.582031 43.976562 107.636719 43.976562 107.804688 44.035156 C 107.246094 44.257812 106.964844 44.820312 106.964844 45.433594 C 106.964844 46.21875 107.527344 46.78125 108.367188 46.949219 C 109.375 46.949219 110.046875 46.332031 110.046875 45.433594 C 110.046875 43.976562 108.703125 43.191406 107.414062 43.191406 C 105.285156 43.191406 103.4375 45.097656 103.042969 47.003906 L 103.042969 43.191406 Z M 98 43.585938 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 116.359375 36.972656 C 116.359375 39.4375 115.351562 43.921875 111.65625 43.921875 L 111.65625 44.707031 L 114.734375 44.707031 L 114.734375 53.898438 C 114.734375 55.074219 114.847656 56.308594 115.410156 57.316406 C 116.191406 58.773438 117.875 59.335938 119.441406 59.335938 C 122.355469 59.335938 122.914062 56.082031 122.914062 53.785156 L 122.914062 52.496094 L 122.074219 52.496094 C 122.074219 53 122.074219 53.5625 122.074219 54.121094 C 122.074219 55.691406 121.738281 58.4375 119.609375 58.4375 C 117.59375 58.4375 117.257812 55.972656 117.257812 54.402344 L 117.257812 44.707031 L 122.355469 44.707031 L 122.355469 43.585938 L 117.257812 43.585938 L 117.257812 36.972656 Z M 116.359375 36.972656 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 42.037079 -6.516754 L 60.013429 -6.516754 L 60.013429 6.514402 L 42.037079 6.514402 Z M 42.037079 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 262.414062 36.578125 L 262.414062 37.699219 C 263.984375 37.699219 265.664062 37.53125 267.066406 36.746094 L 267.066406 55.464844 C 267.066406 56.808594 265.71875 57.035156 264.320312 57.035156 C 263.703125 57.035156 263.144531 57.035156 262.640625 57.035156 L 262.640625 58.097656 L 274.238281 58.097656 L 274.238281 57.035156 C 273.621094 57.035156 273.003906 57.035156 272.445312 57.035156 C 271.042969 57.035156 269.753906 56.808594 269.753906 55.464844 L 269.753906 34.894531 C 269.753906 34.558594 269.640625 34.28125 269.25 34.28125 C 268.746094 34.28125 268.1875 35.007812 267.738281 35.289062 C 266.167969 36.296875 264.265625 36.578125 262.414062 36.578125 Z M 262.414062 36.578125 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 42.032721 -34.860551 L 60.013429 -34.860551 L 60.013429 -21.829396 L 42.032721 -21.829396 Z M 42.032721 -34.860551 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 262.410156 140.722656 C 263.25 138.929688 264.597656 137.078125 267.171875 137.078125 C 270.535156 137.078125 271.992188 140.164062 271.992188 142.964844 C 271.992188 146.273438 269.808594 148.960938 267.734375 151.316406 C 265.71875 153.726562 263.53125 156.023438 261.457031 158.378906 C 261.121094 158.714844 261.011719 158.882812 261.011719 159.386719 L 261.011719 159.777344 L 274.289062 159.777344 L 275.242188 153.558594 L 274.402344 153.558594 C 274.066406 155.183594 274.289062 156.976562 272.441406 156.976562 L 271.039062 156.976562 C 269.976562 157.03125 268.964844 157.03125 267.902344 157.03125 C 266.5 157.03125 265.15625 157.03125 263.8125 157.03125 L 266.277344 154.621094 C 267.285156 153.667969 268.238281 152.71875 269.246094 151.820312 C 271.878906 149.464844 275.242188 146.886719 275.242188 142.910156 C 275.242188 138.875 271.824219 135.960938 267.789062 135.960938 C 264.371094 135.960938 261.011719 138.539062 261.011719 142.40625 C 261.011719 143.300781 261.347656 144.421875 262.859375 144.421875 C 263.925781 144.421875 264.765625 143.695312 264.765625 142.574219 C 264.765625 141.621094 264.035156 140.722656 262.914062 140.722656 C 262.746094 140.722656 262.578125 140.722656 262.410156 140.722656 Z M 262.410156 140.722656 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 93.060673 -6.516754 L 111.037023 -6.516754 L 111.037023 6.514402 L 93.060673 6.514402 Z M 93.060673 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 446.09375 37.417969 C 447.269531 35.738281 449.230469 35.175781 451.136719 35.175781 C 453.265625 35.175781 454.21875 37.363281 454.21875 39.15625 C 454.21875 41.398438 453.488281 44.3125 451.082031 45.039062 C 450.242188 45.265625 448.167969 44.984375 448.167969 45.65625 L 448.167969 45.769531 C 448.167969 46.050781 448.449219 46.050781 448.726562 46.050781 L 449.121094 46.050781 C 449.511719 46.050781 449.960938 46.050781 450.410156 46.050781 C 453.882812 46.050781 454.835938 49.355469 454.835938 51.933594 L 454.835938 52.496094 C 454.777344 54.738281 453.769531 57.929688 450.6875 57.929688 C 448.726562 57.929688 446.375 56.976562 445.308594 55.128906 C 445.421875 55.128906 445.535156 55.183594 445.703125 55.183594 C 446.824219 55.183594 447.664062 54.289062 447.664062 53.167969 C 447.664062 52.160156 446.933594 51.375 445.980469 51.207031 L 445.757812 51.207031 C 444.300781 51.207031 443.683594 52.214844 443.683594 53.335938 C 443.683594 57.089844 447.71875 58.882812 450.855469 58.882812 C 454.722656 58.882812 458.53125 56.082031 458.53125 51.992188 C 458.53125 48.628906 455.675781 46.105469 452.480469 45.546875 C 455.113281 44.59375 457.523438 42.40625 457.523438 39.324219 C 457.523438 36.183594 454.273438 34.28125 450.914062 34.28125 C 448.167969 34.28125 444.636719 35.792969 444.636719 39.210938 C 444.636719 40.332031 445.476562 41.003906 446.488281 41.003906 C 447.4375 41.003906 448.222656 40.332031 448.222656 39.210938 C 448.222656 38.148438 447.4375 37.417969 446.375 37.417969 Z M 446.09375 37.417969 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 93.056315 -34.860551 L 111.037023 -34.860551 L 111.037023 -21.829396 L 93.056315 -21.829396 Z M 93.056315 -34.860551 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 443.171875 153.894531 L 452.699219 153.894531 L 452.699219 157.144531 C 452.699219 158.601562 451.578125 158.714844 449.730469 158.714844 L 449.222656 158.714844 L 449.222656 159.777344 L 458.917969 159.777344 L 458.917969 158.714844 C 458.46875 158.714844 458.019531 158.714844 457.574219 158.714844 C 456.453125 158.714844 455.445312 158.488281 455.445312 157.144531 L 455.445312 153.894531 L 458.972656 153.894531 L 458.972656 152.773438 L 455.445312 152.773438 L 455.445312 136.742188 C 455.445312 136.632812 455.5 136.464844 455.5 136.296875 C 455.5 135.902344 455.386719 135.566406 454.9375 135.566406 C 454.378906 135.566406 454.265625 135.847656 454.042969 136.238281 C 450.679688 141.339844 447.320312 146.441406 444.015625 151.484375 C 443.566406 152.15625 443.117188 152.660156 443.117188 153.277344 C 443.117188 153.445312 443.171875 153.667969 443.171875 153.894531 Z M 444.183594 152.773438 L 452.867188 139.546875 L 452.867188 152.773438 Z M 444.183594 152.773438 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 144.079909 -6.516754 L 162.060616 -6.516754 L 162.060616 6.514402 L 144.079909 6.514402 Z M 144.079909 -6.516754 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 628.035156 53.839844 C 628.257812 53.953125 628.425781 53.953125 628.648438 53.953125 C 629.714844 53.953125 630.441406 53.222656 630.441406 52.160156 C 630.441406 51.207031 629.601562 50.476562 628.707031 50.476562 C 627.753906 50.476562 626.914062 51.148438 626.914062 52.269531 C 626.914062 55.96875 629.824219 58.882812 633.46875 58.882812 C 637.78125 58.882812 641.144531 55.183594 641.144531 50.871094 C 641.144531 47.226562 638.679688 43.078125 634.421875 43.078125 C 632.683594 43.078125 631.113281 43.75 629.824219 44.929688 L 629.824219 37.980469 C 630.722656 38.148438 631.5625 38.371094 632.460938 38.425781 L 632.851562 38.425781 C 635.371094 38.425781 637.726562 37.363281 639.40625 35.402344 C 639.574219 35.175781 639.796875 34.953125 639.796875 34.671875 L 639.796875 34.617188 C 639.742188 34.449219 639.574219 34.28125 639.40625 34.28125 C 639.015625 34.28125 638.175781 34.785156 637.5 35.007812 C 636.492188 35.289062 635.371094 35.457031 634.253906 35.457031 C 632.683594 35.457031 631.226562 35.0625 629.714844 34.558594 C 629.488281 34.503906 629.320312 34.390625 629.152344 34.335938 L 629.097656 34.335938 C 628.929688 34.335938 628.761719 34.503906 628.707031 34.671875 L 628.707031 46.160156 C 628.707031 46.441406 628.816406 46.722656 629.210938 46.722656 C 629.601562 46.722656 629.996094 45.9375 630.21875 45.769531 C 631.171875 44.59375 632.738281 43.863281 634.308594 43.863281 L 634.421875 43.863281 C 637.5 43.976562 638.007812 47.953125 638.007812 50.703125 C 638.007812 53.109375 637.835938 56.136719 635.09375 57.539062 C 634.53125 57.820312 633.859375 57.929688 633.242188 57.929688 C 630.945312 57.929688 628.648438 56.136719 628.035156 53.839844 Z M 628.035156 53.839844 "/>
+<path style="fill-rule:nonzero;fill:rgb(89.803922%,89.803922%,100%);fill-opacity:1;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(29.803922%,29.803922%,100%);stroke-opacity:1;stroke-miterlimit:10;" d="M 135.575977 -36.063913 L 170.560191 -36.063913 L 170.560191 -20.626034 L 135.575977 -20.626034 Z M 135.575977 -36.063913 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 592.546875 155.46875 C 594.789062 157.207031 596.527344 157.933594 599.328125 157.933594 C 603.585938 157.933594 606.21875 154.121094 606.21875 150.480469 C 606.21875 147.507812 604.539062 144.761719 601.679688 143.585938 C 599.496094 142.691406 596.808594 142.746094 594.902344 141.625 C 593.5 140.726562 592.660156 139.160156 592.660156 137.589844 C 592.660156 134.785156 595.070312 132.9375 597.589844 132.9375 C 601.121094 132.9375 603.585938 135.796875 604.144531 139.382812 C 604.257812 139.886719 604.144531 140.839844 604.820312 140.839844 C 605.210938 140.839844 605.210938 140.558594 605.210938 140.222656 L 605.210938 132.488281 C 605.210938 132.207031 605.15625 131.984375 604.875 131.984375 C 604.371094 131.984375 603.976562 132.9375 603.640625 133.441406 C 603.472656 133.722656 603.195312 134.113281 603.082031 134.449219 C 601.570312 132.992188 599.886719 131.984375 597.535156 131.984375 C 594.003906 131.984375 590.363281 134.394531 590.363281 138.933594 C 590.363281 142.632812 593.109375 145.097656 596.582031 145.828125 C 597.367188 145.996094 598.039062 146.21875 598.824219 146.386719 C 600.785156 146.894531 602.800781 147.398438 603.640625 149.917969 C 603.867188 150.480469 603.976562 151.039062 603.976562 151.601562 C 603.976562 154.292969 602.128906 156.871094 599.105469 156.871094 C 595.574219 156.871094 592.101562 154.964844 591.371094 150.816406 C 591.316406 150.535156 591.316406 150.144531 591.261719 149.863281 L 591.261719 149.582031 C 591.261719 149.246094 591.09375 149.078125 590.8125 149.078125 C 590.417969 149.078125 590.363281 149.359375 590.363281 149.582031 L 590.363281 157.429688 C 590.363281 157.710938 590.417969 157.933594 590.699219 157.933594 C 591.261719 157.933594 591.652344 156.980469 591.933594 156.476562 C 592.15625 156.140625 592.378906 155.804688 592.546875 155.46875 Z M 592.546875 155.46875 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 613.566406 135.179688 C 613.566406 137.644531 612.558594 142.128906 608.859375 142.128906 L 608.859375 142.914062 L 611.941406 142.914062 L 611.941406 152.105469 C 611.941406 153.28125 612.054688 154.515625 612.613281 155.523438 C 613.398438 156.980469 615.078125 157.542969 616.648438 157.542969 C 619.558594 157.542969 620.121094 154.292969 620.121094 151.992188 L 620.121094 150.703125 L 619.28125 150.703125 C 619.28125 151.207031 619.28125 151.769531 619.28125 152.328125 C 619.28125 153.898438 618.945312 156.644531 616.816406 156.644531 C 614.796875 156.644531 614.460938 154.179688 614.460938 152.609375 L 614.460938 142.914062 L 619.558594 142.914062 L 619.558594 141.792969 L 614.460938 141.792969 L 614.460938 135.179688 Z M 613.566406 135.179688 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 630.535156 141.175781 C 626.054688 141.625 623.140625 145.4375 623.140625 149.582031 C 623.140625 153.617188 626.332031 157.542969 631.097656 157.542969 C 635.355469 157.542969 638.941406 154.066406 638.941406 149.527344 C 638.941406 145.324219 635.746094 141.175781 630.984375 141.175781 C 630.871094 141.175781 630.648438 141.175781 630.535156 141.175781 Z M 626.109375 150.425781 L 626.109375 148.855469 C 626.109375 146.109375 627.007812 141.960938 631.039062 141.960938 C 633.953125 141.960938 635.578125 144.425781 635.914062 147.117188 C 635.96875 147.902344 635.96875 148.6875 635.96875 149.472656 C 635.96875 151.769531 635.691406 154.683594 633.449219 155.972656 C 632.722656 156.476562 631.9375 156.644531 631.097656 156.644531 C 628.519531 156.644531 626.671875 154.628906 626.277344 151.824219 C 626.222656 151.375 626.222656 150.871094 626.109375 150.425781 Z M 626.109375 150.425781 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 640.941406 141.792969 L 640.941406 142.914062 L 641.613281 142.914062 C 642.679688 142.914062 643.742188 143.027344 643.742188 144.425781 L 643.742188 161.578125 C 643.742188 162.867188 642.789062 162.976562 641.78125 162.976562 L 640.941406 162.976562 L 640.941406 164.097656 L 649.011719 164.097656 L 649.011719 162.976562 L 648.167969 162.976562 C 647.105469 162.976562 646.265625 162.867188 646.265625 161.578125 L 646.265625 155.355469 C 647.105469 156.871094 649.121094 157.542969 650.632812 157.542969 C 655.0625 157.542969 658.589844 153.785156 658.589844 149.472656 C 658.589844 145.15625 655.285156 141.402344 651.082031 141.402344 C 649.121094 141.402344 647.441406 142.242188 646.152344 143.699219 L 646.152344 141.402344 Z M 655.566406 150.085938 C 655.398438 152.722656 653.996094 156.476562 650.746094 156.757812 L 650.523438 156.757812 C 649.011719 156.757812 647.609375 155.917969 646.769531 154.628906 C 646.433594 154.234375 646.265625 153.898438 646.265625 153.394531 L 646.265625 147.398438 C 646.265625 146.894531 646.207031 146.445312 646.207031 145.996094 C 646.207031 144.089844 648.617188 142.296875 650.746094 142.296875 C 654.332031 142.296875 655.621094 147.003906 655.621094 149.527344 C 655.621094 149.695312 655.621094 149.917969 655.566406 150.085938 Z M 655.566406 150.085938 "/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 660.78125 141.792969 L 660.78125 142.914062 L 661.453125 142.914062 C 662.519531 142.914062 663.582031 143.027344 663.582031 144.425781 L 663.582031 161.578125 C 663.582031 162.867188 662.632812 162.976562 661.621094 162.976562 L 660.78125 162.976562 L 660.78125 164.097656 L 668.851562 164.097656 L 668.851562 162.976562 L 668.007812 162.976562 C 666.945312 162.976562 666.105469 162.867188 666.105469 161.578125 L 666.105469 155.355469 C 666.945312 156.871094 668.960938 157.542969 670.476562 157.542969 C 674.902344 157.542969 678.429688 153.785156 678.429688 149.472656 C 678.429688 145.15625 675.125 141.402344 670.921875 141.402344 C 668.960938 141.402344 667.28125 142.242188 665.992188 143.699219 L 665.992188 141.402344 Z M 675.40625 150.085938 C 675.238281 152.722656 673.835938 156.476562 670.585938 156.757812 L 670.363281 156.757812 C 668.851562 156.757812 667.449219 155.917969 666.609375 154.628906 C 666.273438 154.234375 666.105469 153.898438 666.105469 153.394531 L 666.105469 147.398438 C 666.105469 146.894531 666.046875 146.445312 666.046875 145.996094 C 666.046875 144.089844 668.457031 142.296875 670.585938 142.296875 C 674.171875 142.296875 675.460938 147.003906 675.460938 149.527344 C 675.460938 149.695312 675.460938 149.917969 675.40625 150.085938 Z M 675.40625 150.085938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 18.091853 -0.00117614 L 38.248112 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 233.769531 46.699219 L 215.488281 37.550781 L 222.339844 46.699219 L 215.488281 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 60.611515 -0.00117614 L 89.271706 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 416.71875 46.699219 L 398.429688 37.550781 L 405.292969 46.699219 L 398.429688 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 51.021441 -7.114623 L 51.021441 -18.043979 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 268.140625 122.851562 L 277.285156 104.566406 L 268.140625 111.417969 L 258.992188 104.566406 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 60.611515 -23.020778 L 89.666072 -6.876129 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 416.71875 65.785156 L 396.242188 66.679688 L 406.707031 71.359375 L 405.152344 82.710938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 102.045035 -7.114623 L 102.045035 -18.043979 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 451.09375 122.851562 L 460.238281 104.566406 L 451.09375 111.417969 L 441.945312 104.554688 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 111.634019 -0.00117614 L 140.29421 -0.00117614 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 599.671875 46.699219 L 581.378906 37.550781 L 588.242188 46.699219 L 581.378906 55.851562 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 111.630751 -23.020778 L 140.689666 -6.876129 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 599.671875 65.785156 L 579.195312 66.679688 L 589.660156 71.359375 L 588.105469 82.710938 "/>
+<path style="fill:none;stroke-width:1.19553;stroke-linecap:butt;stroke-linejoin:miter;stroke:rgb(0%,0%,0%);stroke-opacity:1;stroke-miterlimit:10;" d="M 153.068628 -7.114623 L 153.064271 -16.841706 " transform="matrix(3.585657,0,0,-3.586957,85.195219,46.695)"/>
+<path style=" stroke:none;fill-rule:nonzero;fill:rgb(0%,0%,0%);fill-opacity:1;" d="M 634.03125 118.539062 L 643.175781 100.238281 L 634.03125 107.105469 L 624.898438 100.238281 "/>
+</g>
+</svg>

tikz/teststrategien-anschaulich/README.md

@@ -1,3 +0,0 @@
-Compiled example
-----------------
-![Example](teststrategien-anschaulich.png)