Skip to content
GitLab
Commit 80810800 authored by Manuel Schrick's avatar Manuel Schrick
Browse files

updated examples with numbers on bus connections

parent 5ff1d586
Hide whitespace changes
Inline Side-by-side
index.htm
View file @ 80810800
......@@ -13,12 +13,12 @@
<br>
<br>
<a href="svg/Split/testManuelSchrick.split.clique5.html">5-Clique</a>
<a href="svg/Split/testManuelSchrick.split.clique.html">5-Clique</a>
<br>
<br>
<a href="svg/k33/testManuelSchrick.k33.k33.html">K_3,3-Graph</a>
<a href="svg/k33/testManuelSchrick.k33.k33.html">K_3,3-Utility-Graph</a>
<br>
<br>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller.html
View file @ 80810800
......@@ -58,7 +58,7 @@
type="image/svg+xml"
id="svg"
width="627"
height="322">
height="267">
</object>
</body>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller.svg
View file @ 80810800
......@@ -7,7 +7,7 @@
<rect
id="79"
width="451"
height="297"
height="242"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"/>
<text
......@@ -28,7 +28,7 @@
data-name="testManuelSchrick.bumperBot.controller.bumpControl"
id="80"
width="183"
height="190"
height="135"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout="this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
......@@ -44,7 +44,7 @@
bumpControl
</text>
</g><!-- Component: timer -->
<g transform="translate(393 162)">
<g transform="translate(393 107)">
<rect
data-name="testManuelSchrick.bumperBot.controller.timer"
id="81"
......@@ -72,9 +72,9 @@
</defs><line
stroke-linecap="square"
x1="333"
y1="237"
y1="222"
x2="528"
y2="237"
y2="222"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -83,9 +83,9 @@
<line
stroke-linecap="square"
x1="333"
y1="277"
y1="182"
x2="528"
y2="277"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -94,9 +94,9 @@
<line
stroke-linecap="square"
x1="85"
y1="197"
y1="142"
x2="142"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -105,9 +105,9 @@
<line
stroke-linecap="square"
x1="471"
y1="197"
y1="142"
x2="501"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -115,7 +115,7 @@
<line
stroke-linecap="square"
x1="501"
y1="197"
y1="142"
x2="501"
y2="87"
style="stroke:rgb(0, 0,0);
......@@ -137,7 +137,7 @@
x1="120"
y1="87"
x2="120"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -145,9 +145,9 @@
<line
stroke-linecap="square"
x1="120"
y1="142"
y1="182"
x2="142"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -156,9 +156,9 @@
<line
stroke-linecap="square"
x1="333"
y1="197"
y1="142"
x2="385"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -168,53 +168,53 @@
<!-- Small box indicating a port -->
<rect id="port" x="0" y="0" width="16" height="16"
style="fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"/>
</defs><use x="77" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="73" y="199" transform="rotate(0,73,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</defs><use x="77" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="73" y="144" transform="rotate(0,73,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
bumpPressed
</text>
<use x="528" y="229" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="548" y="239" transform="rotate(0,548,239)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="528" y="214" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="548" y="224" transform="rotate(0,548,224)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
rightMotorCmd
</text>
<use x="528" y="269" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="548" y="279" transform="rotate(0,548,279)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="528" y="174" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="548" y="184" transform="rotate(0,548,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
leftMotorCmd
</text>
<use x="142" y="189" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="161" y="199" transform="rotate(0,161,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="142" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="161" y="144" transform="rotate(0,161,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
bumpPressedX
</text>
<use x="142" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="161" y="144" transform="rotate(0,161,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="142" y="174" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="161" y="184" transform="rotate(0,161,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
timerSig
</text>
<use x="325" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="199" transform="rotate(0,322,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="325" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="144" transform="rotate(0,322,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
timerCmd
</text>
<use x="325" y="269" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="279" transform="rotate(0,322,279)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="325" y="174" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="184" transform="rotate(0,322,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
leftMotorCmdX
</text>
<use x="325" y="229" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="239" transform="rotate(0,322,239)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="325" y="214" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="322" y="224" transform="rotate(0,322,224)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
rightMotorCmdX
</text>
<use x="463" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="460" y="199" transform="rotate(0,460,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="463" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="460" y="144" transform="rotate(0,460,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
signal
</text>
<use x="385" y="189" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="404" y="199" transform="rotate(0,404,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="385" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="404" y="144" transform="rotate(0,404,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
cmd
</text>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller_no_port_names.html
View file @ 80810800
......@@ -58,7 +58,7 @@
type="image/svg+xml"
id="svg"
width="512"
height="457">
height="402">
</object>
</body>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller_no_port_names.svg
View file @ 80810800
......@@ -7,7 +7,7 @@
<rect
id="98"
width="352"
height="297"
height="242"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"/>
<text
......@@ -28,7 +28,7 @@
data-name="testManuelSchrick.bumperBot.controller.bumpControl"
id="99"
width="108"
height="190"
height="135"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout="this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
......@@ -44,7 +44,7 @@
bumpControl
</text>
</g><!-- Component: timer -->
<g transform="translate(249 162)">
<g transform="translate(249 107)">
<rect
data-name="testManuelSchrick.bumperBot.controller.timer"
id="100"
......@@ -72,9 +72,9 @@
</defs><line
stroke-linecap="square"
x1="189"
y1="237"
y1="222"
x2="360"
y2="237"
y2="222"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -83,9 +83,9 @@
<line
stroke-linecap="square"
x1="189"
y1="277"
y1="182"
x2="360"
y2="277"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -94,9 +94,9 @@
<line
stroke-linecap="square"
x1="16"
y1="197"
y1="142"
x2="73"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -105,9 +105,9 @@
<line
stroke-linecap="square"
x1="303"
y1="197"
y1="142"
x2="333"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -115,7 +115,7 @@
<line
stroke-linecap="square"
x1="333"
y1="197"
y1="142"
x2="333"
y2="87"
style="stroke:rgb(0, 0,0);
......@@ -137,7 +137,7 @@
x1="51"
y1="87"
x2="51"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -145,9 +145,9 @@
<line
stroke-linecap="square"
x1="51"
y1="142"
y1="182"
x2="73"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -156,9 +156,9 @@
<line
stroke-linecap="square"
x1="189"
y1="197"
y1="142"
x2="241"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -168,53 +168,53 @@
<!-- Small box indicating a port -->
<rect id="port" x="0" y="0" width="16" height="16"
style="fill:white;stroke:rgb(0,0,0);stroke-width:1;fill-opacity:1.0;stroke-opacity:1.0"/>
</defs><use x="8" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="4" y="199" transform="rotate(0,4,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</defs><use x="8" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="4" y="144" transform="rotate(0,4,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="360" y="229" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="380" y="239" transform="rotate(0,380,239)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="360" y="214" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="380" y="224" transform="rotate(0,380,224)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="360" y="269" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="380" y="279" transform="rotate(0,380,279)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="360" y="174" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="380" y="184" transform="rotate(0,380,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="73" y="189" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="92" y="199" transform="rotate(0,92,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="73" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="92" y="144" transform="rotate(0,92,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="73" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="92" y="144" transform="rotate(0,92,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="73" y="174" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="92" y="184" transform="rotate(0,92,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="181" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="199" transform="rotate(0,178,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="181" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="144" transform="rotate(0,178,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="181" y="269" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="279" transform="rotate(0,178,279)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="181" y="174" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="184" transform="rotate(0,178,184)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="181" y="229" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="239" transform="rotate(0,178,239)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="181" y="214" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="178" y="224" transform="rotate(0,178,224)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="295" y="189" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="292" y="199" transform="rotate(0,292,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="295" y="134" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="292" y="144" transform="rotate(0,292,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
<use x="241" y="189" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="260" y="199" transform="rotate(0,260,199)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
<use x="241" y="134" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="260" y="144" transform="rotate(0,260,144)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
</text>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller_simplified.html
View file @ 80810800
......@@ -58,7 +58,7 @@
type="image/svg+xml"
id="svg"
width="384"
height="282">
height="227">
</object>
</body>
......
svg/BumperBot/testManuelSchrick.bumperBot.controller_simplified.svg
View file @ 80810800
......@@ -7,7 +7,7 @@
<rect
id="63"
width="352"
height="257"
height="202"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"/>
<text
......@@ -28,7 +28,7 @@
data-name="testManuelSchrick.bumperBot.controller.bumpControl"
id="64"
width="108"
height="150"
height="95"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
onmouseout="this.style.stroke = '#000000'; this.style['stroke-width'] = 2; this.style.cursor='default';"
/>
......@@ -44,7 +44,7 @@
bumpControl
</text>
</g><!-- Component: timer -->
<g transform="translate(249 162)">
<g transform="translate(249 107)">
<rect
data-name="testManuelSchrick.bumperBot.controller.timer"
id="65"
......@@ -72,9 +72,9 @@
</defs><line
stroke-linecap="square"
x1="189"
y1="237"
y1="182"
x2="360"
y2="237"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -82,9 +82,9 @@
<line
stroke-linecap="square"
x1="360"
y1="237"
y1="182"
x2="368"
y2="237"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -93,9 +93,9 @@
<line
stroke-linecap="square"
x1="16"
y1="197"
y1="142"
x2="73"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -103,9 +103,9 @@
<line
stroke-linecap="square"
x1="73"
y1="197"
y1="142"
x2="81"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -114,9 +114,9 @@
<line
stroke-linecap="square"
x1="303"
y1="197"
y1="142"
x2="333"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -124,7 +124,7 @@
<line
stroke-linecap="square"
x1="333"
y1="197"
y1="142"
x2="333"
y2="87"
style="stroke:rgb(0, 0,0);
......@@ -146,7 +146,7 @@
x1="51"
y1="87"
x2="51"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -154,9 +154,9 @@
<line
stroke-linecap="square"
x1="51"
y1="142"
y1="182"
x2="73"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -164,9 +164,9 @@
<line
stroke-linecap="square"
x1="73"
y1="142"
y1="182"
x2="81"
y2="142"
y2="182"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......@@ -175,9 +175,9 @@
<line
stroke-linecap="square"
x1="189"
y1="197"
y1="142"
x2="241"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
"
......@@ -185,9 +185,9 @@
<line
stroke-linecap="square"
x1="241"
y1="197"
y1="142"
x2="249"
y2="197"
y2="142"
style="stroke:rgb(0, 0,0);
stroke-width:2;
marker-end: url(#0,0,0)
......
svg/BumperBotEmergency/testManuelSchrick.bumperBotEmergency.actuators.svg
View file @ 80810800
......@@ -5,7 +5,7 @@
<g transform="translate(91 20)">
<rect
id="194"
id="347"
width="213"
height="182"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"/>
......@@ -26,7 +26,7 @@
<g transform="translate(151 52)">
<rect
data-name="testManuelSchrick.bumperBotEmergency.actuators.leftMotor"
id="196"
id="349"
width="93"
height="55"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
......@@ -47,7 +47,7 @@
<g transform="translate(151 127)">
<rect
data-name="testManuelSchrick.bumperBotEmergency.actuators.rightMotor"
id="197"
id="350"
width="93"
height="55"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"
......