From 56ff9a31c59f271fb5f40bb9d3bed9a6d5b48a6f Mon Sep 17 00:00:00 2001 From: Fabian Mastenbroek Date: Tue, 11 Feb 2020 14:23:00 +0100 Subject: docs: Elaborate on unique ids of events --- .../kotlin/com/atlarge/odcsim/engine/omega/OmegaSimulationEngine.kt | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'odcsim') diff --git a/odcsim/odcsim-engine-omega/src/main/kotlin/com/atlarge/odcsim/engine/omega/OmegaSimulationEngine.kt b/odcsim/odcsim-engine-omega/src/main/kotlin/com/atlarge/odcsim/engine/omega/OmegaSimulationEngine.kt index 767e139a..11dae528 100644 --- a/odcsim/odcsim-engine-omega/src/main/kotlin/com/atlarge/odcsim/engine/omega/OmegaSimulationEngine.kt +++ b/odcsim/odcsim-engine-omega/src/main/kotlin/com/atlarge/odcsim/engine/omega/OmegaSimulationEngine.kt @@ -90,6 +90,11 @@ class OmegaSimulationEngine(rootBehavior: Behavior, override val name: String) : */ private val channels: MutableSet> = HashSet() + /** + * A unique increasing identifier assigned to each event, needed because otherwise two events occurring in sequence + * (but at the same time) may be differently ordered in the internal priority queue (queue) since it does not + * guarantee insertion order. + */ private var nextId: Long = 0 /** -- cgit v1.2.3