Logical Structure of the Specification ![[spacer]](http://lambdadelta.info/images/b4.png "\lambda\delta butterfly")
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -256,7 +271,9 @@
generic rt-transition counter
rtc ( â©?,?,?,?⪠) ( ðð ) ( ðð ) ( ðð )
+ rtc_isrc ( ððâ¦?, ?⦠)
rtc_shift ( â? )
+ rtc_max ( ? ⨠? )
rtc_plus ( ? + ? )
@@ -294,6 +311,15 @@
+
+
+
+
+
+
+
+
+
@@ -303,20 +329,25 @@
rtmap
rtmap_eq ( ? â ? )
+ rtmap_pushs ( â*[?]? )
+ rtmap_nexts ( ⫯*[?]? )
rtmap_tl ( ⫱? )
rtmap_tls ( ⫱*[?]? )
rtmap_isid ( ðâ¦?⦠)
rtmap_id
+ rtmap_isdiv ( ðâ¦?⦠)
rtmap_fcla ( ðâ¦?⦠⡠? )
rtmap_isfin ( ð
�⦠)
rtmap_isuni ( ðâ¦?⦠)
rtmap_uni ( ðâ´?âµ )
rtmap_sle ( ? â ? )
+ rtmap_sdj ( ? ⥠? )
rtmap_sand ( ? â ? â¡ ? )
rtmap_sor ( ? â ? â¡ ? )
rtmap_at ( @�,?⦠⡠? )
rtmap_istot ( ðâ¦?⦠)
- rtmap_after ( ? â ? â¡ ? )
+ rtmap_after ( ? â ? â¡ ? )
+ rtmap_coafter ( ? ~â ? â¡ ? )
@@ -329,6 +360,8 @@
nstream_eq
nstream_isid
nstream_id ( ðð )
nstream_sand
nstream_sor
+ nstream_istot ( ?@â´?âµ )
- nstream_after ( ? â ? )
+ nstream_after ( ? â ? )
+ nstream_coafter ( ? ~â ? )
@@ -386,6 +422,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -426,6 +477,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -470,6 +536,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -522,6 +603,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -574,6 +670,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -585,7 +696,8 @@
- star
+ relations ( ? â ? )
+ star
lstar
@@ -626,6 +738,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
@@ -674,6 +798,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -726,6 +865,21 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -759,6 +913,6 @@
-
+ Logical Structure of the Specification
This table reports the specification's components and their planes.
@@ -248,6 +248,21 @@
+
+
+
+
+
@@ -294,6 +311,15 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -626,6 +738,18 @@
+
+
+
+
+
+
+
+
+
+
+
+
+
+
Last update: Sun, 22 May 2016 11:12:18 +0200
+ Last update: Fri, 24 Nov 2017 21:00:01 +0100