_.(adp) (Group Projection)

Accesses fields in a group.

Syntax

group_proj: expr . ( group_adaptation )
Signatures

  1. Type

    Takes as input a group G and an adaptation, and returns the group composed of group fields matching the adaptation with G

  2. Causality

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

  3. Initialization

    Each group field has its initialization signature

  4. Clock

    Each group field has its clock