AeroGuard-MAS/reasoning/SafetyReasoner

SafetyReasoner

interface SafetyReasoner(source)

Symbolic safety reasoning interface.

Implementations answer safety, priority, maneuver feasibility, and explanation queries using the current simulation state.

Inheritors

Functions

Link copied to clipboard
abstract fun explainDecision(decisionId: String): List<String>
Link copied to clipboard
abstract fun isConflictUnsafe(conflict: Conflict, state: SimulationState): Boolean
Link copied to clipboard
abstract fun isManeuverAllowed(aircraftId: String, maneuver: Maneuver, state: SimulationState): Boolean
Link copied to clipboard
abstract fun priorityOf(aircraftId: String, state: SimulationState): Int
Generated by Dokka
© 2026 Copyright