conditionalReceiveOther method

Conditional conditionalReceiveOther(
  1. Interface<TagType> other,
  2. Iterable<TagType> tags
)

Makes this signals tagged with tags be driven conditionally by other.

Implementation

Conditional conditionalReceiveOther(
        Interface<TagType> other, Iterable<TagType> tags) =>
    ConditionalGroup(getPorts(tags)
        .map((portName, thisPort) =>
            MapEntry(portName, thisPort < other.port(portName)))
        .values
        .toList());