diff options
| author | Dante Niewenhuis <d.niewenhuis@hotmail.com> | 2025-02-17 12:59:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-17 12:59:39 +0100 |
| commit | e9080b6280a3a1264a35748eccd1c58205c001bf (patch) | |
| tree | 4e34892281a492e0cc12e50bf4ac0f58a3b83dca /opendc-simulator/opendc-simulator-flow/src/main | |
| parent | 20d8587552840c0379e35f70dad05c46de439122 (diff) | |
Fixed bugs (#304)
Diffstat (limited to 'opendc-simulator/opendc-simulator-flow/src/main')
| -rw-r--r-- | opendc-simulator/opendc-simulator-flow/src/main/java/org/opendc/simulator/engine/graph/FlowDistributor.java | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/opendc-simulator/opendc-simulator-flow/src/main/java/org/opendc/simulator/engine/graph/FlowDistributor.java b/opendc-simulator/opendc-simulator-flow/src/main/java/org/opendc/simulator/engine/graph/FlowDistributor.java index ff7ff199..dcbd79bb 100644 --- a/opendc-simulator/opendc-simulator-flow/src/main/java/org/opendc/simulator/engine/graph/FlowDistributor.java +++ b/opendc-simulator/opendc-simulator-flow/src/main/java/org/opendc/simulator/engine/graph/FlowDistributor.java @@ -39,8 +39,7 @@ public class FlowDistributor extends FlowNode implements FlowSupplier, FlowConsu private double currentIncomingSupply; // The current supply provided by the supplier private boolean outgoingDemandUpdateNeeded = false; - private final Set<Integer> updatedDemands = - new HashSet<>(); // Array of consumers that updated their demand in this cycle + private Set<Integer> updatedDemands = new HashSet<>(); // Array of consumers that updated their demand in this cycle private boolean overloaded = false; @@ -209,14 +208,18 @@ public class FlowDistributor extends FlowNode implements FlowSupplier, FlowConsu other.setConsumerIndex(other.getConsumerIndex() - 1); } - for (int idx_other : this.updatedDemands) { + HashSet newUpdatedDemands = new HashSet<>(); + for (int idx_other : this.updatedDemands) { if (idx_other > idx) { - this.updatedDemands.remove(idx_other); - this.updatedDemands.add(idx_other - 1); + newUpdatedDemands.add(idx_other - 1); + } else { + newUpdatedDemands.add(idx_other); } } + this.updatedDemands = newUpdatedDemands; + this.outgoingDemandUpdateNeeded = true; this.invalidate(); } |
