Logical Structure of the Specification ![[spacer]](http://lambdadelta.info/images/b4.png "\lambda\delta butterfly")
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -256,7 +268,9 @@
generic rt-transition counter
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð )
+ rtc_isrc ( ððâ¦?, ?⦠)
rtc_shift ( â? )
+ rtc_max ( ? ⨠? )
rtc_plus ( ? + ? )
@@ -294,6 +308,12 @@
+
+
+
+
+
+
@@ -303,10 +323,13 @@
rtmap
rtmap_eq ( ? â ? )
+ rtmap_pushs ( â*[?]? )
+ rtmap_nexts ( ⫯*[?]? )
rtmap_tl ( ⫱? )
rtmap_tls ( ⫱*[?]? )
rtmap_isid ( ðâ¦?⦠)
rtmap_id
+ rtmap_isdiv ( ðâ¦?⦠)
rtmap_fcla ( ðâ¦?⦠⡠? )
rtmap_isfin ( ð
�⦠)
rtmap_isuni ( ðâ¦?⦠)
@@ -316,7 +339,8 @@
rtmap_sor ( ? â ? â¡ ? )
rtmap_at ( @�,?⦠⡠? )
rtmap_istot ( ðâ¦?⦠)
- rtmap_after ( ? â ? â¡ ? )
+ rtmap_after ( ? â ? â¡ ? )
+ rtmap_coafter ( ? ~â ? â¡ ? )
@@ -329,6 +353,8 @@
nstream_eq
nstream_isid
nstream_id ( ðð )
nstream_sand
nstream_sor
+ nstream_istot ( ?@â´?âµ )
- nstream_after ( ? â ? )
+ nstream_after ( ? â ? )
+ nstream_coafter ( ? ~â ? )
@@ -386,6 +414,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -426,6 +466,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -470,6 +522,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -522,6 +586,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -574,6 +650,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -585,7 +673,8 @@
- star
+ relations
+ star
lstar
@@ -626,6 +715,15 @@
+
+
+
+
+
+
+
+
+
@@ -674,6 +772,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -726,6 +836,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -759,6 +881,6 @@
-
+ Logical Structure of the Specification
This table reports the specification's components and their planes.
@@ -248,6 +248,18 @@
+
+
+
+
@@ -294,6 +308,12 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -626,6 +715,15 @@
+
+
+
+
+
+
+
+
+
+
+
Last update: Sun, 22 May 2016 11:12:18 +0200
+ Last update: Mon, 23 Oct 2017 19:19:03 +0200