Package-level declarations

Types

Link copied to clipboard
data class AircraftStateEvent(val tick: Int, val aircraft: String, val x: Double, val y: Double, val altitude: Int, val speed: Double, val status: String, val priority: String) : SimulationEvent

Aircraft state snapshot for one tick.

Link copied to clipboard
data class BeliefUpdatedEvent(val tick: Int, val agent: String, val belief: String) : SimulationEvent

Agent belief update event used for BDI observability in the GUI.

Link copied to clipboard

Event sink that forwards each simulation event to multiple child sinks.

Link copied to clipboard
data class ConflictDetectedEvent(val tick: Int, val aircraft: List<String>, val severity: String, val horizontalDistance: Double, val verticalDistance: Int, val predictedAtTick: Int? = null) : SimulationEvent

Conflict event representing either a current or predicted loss of separation.

Link copied to clipboard

Event sink that writes each simulation event as one JSONL line to standard output.

Link copied to clipboard
data class ExplanationEvent(val tick: Int, val agent: String, val message: String) : SimulationEvent

Human-readable explanation event generated by the explanation layer.

Link copied to clipboard

Event sink that writes simulation events to a UTF-8 JSONL file.

Link copied to clipboard
data class ManeuverSelectedEvent(val tick: Int, val aircraft: String, val maneuver: String, val targetAltitude: Int? = null, val reason: String) : SimulationEvent

Selected maneuver event connecting a plan to an aircraft-level decision.

Link copied to clipboard
data class PlanGeneratedEvent(val tick: Int, val planner: String, val aircraft: String, val actions: List<String>) : SimulationEvent

Planner output event containing symbolic action strings.

Link copied to clipboard
data class ReplanningTriggeredEvent(val tick: Int, val aircraft: String, val reason: String) : SimulationEvent

Replanning trigger event describing why a new route or maneuver was requested.

Link copied to clipboard
data class RouteSnapshotEvent(val tick: Int, val aircraft: String, val waypoints: List<RouteWaypointDto>) : SimulationEvent

Route snapshot event used to visualize planned routes and waypoints.

Link copied to clipboard
data class RouteWaypointDto(val name: String, val x: Double, val y: Double)

Serializable waypoint DTO used inside route snapshot events.

Link copied to clipboard
sealed interface SimulationEvent

Base interface for all structured events emitted by the simulation.

Link copied to clipboard

Converts a simulation run into a stream of structured simulation events.

Link copied to clipboard

Destination for structured simulation events.

Link copied to clipboard
data class WeatherZoneActivatedEvent(val tick: Int, val zone: String, val x: Double, val y: Double, val radius: Double) : SimulationEvent

Weather-zone activation event used by the GUI to draw forbidden areas.

Functions

Link copied to clipboard

Serializes a simulation event as a single JSONL line.

Link copied to clipboard
fun SimulationEvent.toJsonObject(): JsonObject

Converts a simulation event to the JSON object used by the JSONL event stream.