Commit 7633be29 authored by toezen1's avatar toezen1
Browse files

Added version 4 to show output of branch tayfun.oezen

parent f863cdc7
......@@ -52,5 +52,10 @@
<br>
<br>
<a href="index_v4.htm">Version 4</a>
<br>
<br>
</body>
</html>
<html>
<head><title>SVG Example Outputs - Version 4</title></head>
<body>
<h1>SVG Example Outputs - Version 4</h1>
<h2>Current Outputs of branch tayfun.oezen</h2>
<a href="svg/v4/BumperBot/testManuelSchrick.bumperBot.html">BumperBot</a>
<br>
<br>
<a href="svg/v4/BumperBotEmergency/testManuelSchrick.bumperBotEmergency.html">BumperBotEmergency</a>
<br>
<br>
<a href="svg/v4/Split/testManuelSchrick.split.clique.html">5-Clique</a>
<br>
<br>
<a href="svg/v4/k33/testManuelSchrick.k33.k33.html">K_3,3-Utility-Graph</a>
<br>
<br>
<a href="svg/v4/AutoPilot/testManuelSchrick.autopilot.autopilot.html">AutoPilot</a>
<br>
<br>
<a href="svg/v4/FAS/fas.demo_fas_Fkt_m.fAS.html">FAS</a>
<br>
<br>
<a href="svg/v4/pumpStationExample/testManuelSchrick.pumpStationExample.pumpStation.html">PumpStation</a>
<br>
<br>
<a href="svg/v4/Atomic/testManuelSchrick.atomic.html">Atomic</a>
<br>
<br>
<!--<a href="svg/v4/ObjectDetectorSVG/detection.objectDetector4.html">Object-Detector</a>
<br>
<br>-->
</body>
</html>
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.actuators</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.actuators</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.actuators</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.controller</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.controller</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.controller</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.sensors</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.sensors</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot.sensors</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
......@@ -3,27 +3,6 @@
<head>
<title>testManuelSchrick.bumperBot</title>
<meta name="viewport" content="width=device-width">
<script type="text/javascript">
function openFileInEditor(filePath) {
var parent = window.parent;
while (parent.parent != null && parent.api == null) {
parent = parent.parent;
}
if (parent.api == null) {
return;
}
var api = window.parent.api;
var tabManager = api.tabManager;
function onOpenFile(error, tab) {
if(error) console.error(error);
}
tabManager.openFile(filePath, true, onOpenFile);
}
</script>
</head>
<body link="black" vlink="black">
......
<!DOCTYPE html>
<html>
<head>
<title>testManuelSchrick.atomic</title>
<meta name="viewport" content="width=device-width">
</head>
<body link="black" vlink="black">
<!-- Bread crumb navigation -->
<table>
<tr height="25px">
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="testManuelSchrick.atomic.html">
<img src="icons/icon_full_detail.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="testManuelSchrick.atomic_no_port_names.html">
<img src="icons/icon_no_port_names.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="testManuelSchrick.atomic_simplified.html">
<img src="icons/icon_simplified.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td align="center" style="min-width: 10px;"/>
<td>
<b><big>atomic</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="testManuelSchrick.atomic.svg"
type="image/svg+xml"
id="svg"
width="210"
height="247">
</object>
</body>
</html>
<svg width="100%" height="100%" xmlns="http://www.w3.org/2000/svg" version="1.1" xmlns:xlink="http://www.w3.org/1999/xlink">
<svg xmlns="http://www.w3.org/2000/svg" version="1.1">
<!-- Canvas: atomic -->
<g transform="translate(60 20)">
<rect
id="8361"
width="90"
height="222"
style="fill:white;stroke:black;stroke-width:2;fill-opacity:1.0;stroke-opacity:1.0"/>
<text
x="8"
y="20"
font-family="Verdana"
fill="black">
<tspan style="font-weight: bold" font-size="13">Atomic</tspan>
<tspan font-size="11"></tspan>
</text>
<text
x="8"
y="35"
font-family="Verdana"
font-size="12"
fill="black">
atomic
</text>
</g>
</svg><defs>
<!-- 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="52" y="102" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="48" y="112" transform="rotate(0,48,112)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
in1
</text>
<use x="52" y="158" xlink:href="#port" />
<text text-anchor="end" alignment-baseline="middle" x="48" y="168" transform="rotate(0,48,168)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
in2
</text>
<use x="142" y="102" xlink:href="#port" />
<text text-anchor="start" alignment-baseline="middle" x="162" y="112" transform="rotate(0,162,112)" style="font-weight: regular" font-family="Verdana" font-size="9" fill="black">
out2
</text>
</svg>
\ No newline at end of file
<!DOCTYPE html>
<html>
<head>
<title>testManuelSchrick.atomic</title>
<meta name="viewport" content="width=device-width">
</head>
<body link="black" vlink="black">
<!-- Bread crumb navigation -->
<table>
<tr height="25px">
<td width="25px" align="center"
>
<a href="testManuelSchrick.atomic.html">
<img src="icons/icon_full_detail.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="testManuelSchrick.atomic_no_port_names.html">
<img src="icons/icon_no_port_names.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="testManuelSchrick.atomic_simplified.html">
<img src="icons/icon_simplified.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td align="center" style="min-width: 10px;"/>
<td>
<b><big>atomic</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="testManuelSchrick.atomic_no_port_names.svg"
type="image/svg+xml"
id="svg"
width="210"
height="382">
</object>
</body>
</html>
<svg width="100%" height="100%" xmlns="http://www.w3.org/2000/svg" version="1.1" xmlns:xlink="http://www.w3.org/1999/xlink">
<svg xmlns="http://www.w3.org/2000/svg" version="1.1">
<!-- Canvas: atomic -->
<g transform="translate(60 20)">