forward

Iterates as a loop-like construct to iterate on sequences of values.

Syntax 
forward (LUID)? (restart or resume)? (dimension)+ fwd_body returns(returns_group)
where
  1. by default, the iteration is complete and the body is: 
    fwd_body: scope_section
  2. or the iteration is partial and stops under a condition: 
    fwd_body: (unless expr)? scope_section(until expr)?

Signatures

  1. Type
    The output type is a positional group.
    • for a complete forward, the output group has as many items than in the returns part.
    • for a partial forward:
      • if there is an until or unless stop condition: the output group has one more field of type integer, for the index, at the first position
      • if there are until and unless stop conditions: the output group has two more fields, at first and second position, one for the index of type integer, and one for the output condition of type bool.
  2. Causality

    The output flows depend instantaneously on the input flows and on flows used by the body computations.

  3. Initialization

    All flows defined in the body must have their first value defined.

    All flows used by the body must have their first value defined.

  4. Clock