Bar (Group/Ungroup Constructor Block)

Syntax

position of wires is not significant

Signatures

1. Type

   1. Group: takes as inputs n groups and wires with adaptations and returns the union of the groups resulting of the adaptation applied to each input group, provided that labels in adaptations do not collide.

      Case of ninput flows and n wires

      • n flows of type T₁,T₂, ... , T_n
      • the adaptation on each wire as a label li
      and returns the named group: (l1:T1,...,li:Ti,...ln:Tn)
   2. Ungroup: takes as input
      • a group
      • m adaptations: one adaptation per output wire
      and returns m groups: each one composed of group fields matching the adaptation on the output wire

2. Causality

   Each group field is independent, and does not depend on the other inputs

3. Initialization

   Each group field has its initialization signature

4. Clock

   Each group field has its clock