Commit 77780310 authored by toezen1's avatar toezen1
Browse files

complete new FAS

parent cf638015
Pipeline #77902 passed with stage
in 25 seconds
......@@ -118,5 +118,9 @@
<a href="index_master3.htm">Split Views FAS Witness Version 09.10.2018</a>
<br>
<br>
<a href="index_master4.htm">Split Views FAS Witness Version 11.10.2018</a>
<br>
<br>
</body>
</html>
<html>
<head><title>FAS witnesses</title></head>
<body>
<a href="svg/master4/fas.demo_fas_Fkt_m.fAS_Test.html">
FAS Model mit Environment</a>
<br>
<br>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env</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="fas.demo_fas_Fkt_m.fAS_Test.env_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.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="fas.demo_fas_Fkt_m.fAS_Test.env_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="fas.demo_fas_Fkt_m.fAS_Test.env_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<b><big>env</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="fas.demo_fas_Fkt_m.fAS_Test.env.svg"
type="image/svg+xml"
id="svg"
width="812"
height="1047">
</object>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL</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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.html">
<b><big>env</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.html">
<b><big>obj</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<b><big>accumulator_REL</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.svg"
type="image/svg+xml"
id="svg"
width="784"
height="592">
</object>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit</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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit.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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.html">
<b><big>env</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.html">
<b><big>obj</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.html">
<b><big>accumulator_REL</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<b><big>limit</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit.svg"
type="image/svg+xml"
id="svg"
width="728"
height="547">
</object>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit</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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
style="background-color:LightGray;">
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit.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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test_extended.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env_extended.html">
<b><big>env</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj_extended.html">
<b><big>obj</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_extended.html">
<b><big>accumulator_REL</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<b><big>limit</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_extended.svg"
type="image/svg+xml"
id="svg"
width="1057"
height="909">
</object>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit</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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit.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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test_no_port_names.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env_no_port_names.html">
<b><big>env</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj_no_port_names.html">
<b><big>obj</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL_no_port_names.html">
<b><big>accumulator_REL</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>
<b><big>limit</big></b>
</td>
</tr>
</table>
<!-- HTML Object to display an external SVG-File -->
<object
data="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_no_port_names.svg"
type="image/svg+xml"
id="svg"
width="645"
height="784">
</object>
</body>
</html>
<!DOCTYPE html>
<html>
<head>
<title>fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit</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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_view.html">
<img src="icons/icon_view.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td> -->
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_extended.html">
<img src="icons/icon_extended.svg"
height="20px"
width="20px"
align="middle"
valign="middle">
</a>
</td>
<td width="25px" align="center"
>
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit.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="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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"
style="background-color:LightGray;">
<a href="fas.demo_fas_Fkt_m.fAS_Test.env.obj.accumulator_REL.limit_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>
<a href="fas.demo_fas_Fkt_m.fAS_Test_simplified.html">
<b><big>fAS_Test</big></b>
</a>&nbsp;&#8594;&nbsp;
</td>
<td>