Conflict
class ConflictDetector(aircraftMover: AircraftMover = AircraftMover(), safetyReasoner: SafetyReasoner = TuPrologSafetyReasoner.fromClasspath())(source)
Detects current and predicted conflicts between aircraft.
The detector combines geometric distance checks with the symbolic safety reasoner to determine whether a pair should be treated as unsafe.
Constructors
Link copied to clipboard
constructor(aircraftMover: AircraftMover = AircraftMover(), safetyReasoner: SafetyReasoner = TuPrologSafetyReasoner.fromClasspath())