updateAssignmentMaps method

  1. @internal
void updateAssignmentMaps(
  1. Map<Logic, Logic> assignedReceiverToOutputMap,
  2. Map<Logic, Logic> assignedDriverToInputMap
)

Updates the values of _assignedReceiverToOutputMap and _assignedDriverToInputMap and passes them down to all sub-Conditionals as well.

Implementation

@internal
void updateAssignmentMaps(
  Map<Logic, Logic> assignedReceiverToOutputMap,
  Map<Logic, Logic> assignedDriverToInputMap,
) {
  _assignedReceiverToOutputMap = assignedReceiverToOutputMap;
  _assignedDriverToInputMap = assignedDriverToInputMap;
  for (final conditional in conditionals) {
    conditional.updateAssignmentMaps(
        assignedReceiverToOutputMap, assignedDriverToInputMap);
  }
}