conditionalReceiveOther method
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());