Logical Structure of the Specification
+
+
+
+
+
+
+
+
+
+
+
+
+
@@ -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 ( ðð )
@@ -336,11 +362,13 @@
- 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: Sat, 21 May 2016 22:22:39 +0200
+ Last update: Mon, 13 Nov 2017 18:11:08 +0100