AeroGuard-MAS
Toggle table of contents
1.0-SNAPSHOT
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
AeroGuard-MAS
AeroGuard-MAS
/
simulation
/
ConflictDetector
/
ConflictDetector
Conflict
Detector
constructor
(
aircraftMover
:
AircraftMover
=
AircraftMover()
,
safetyReasoner
:
SafetyReasoner
=
TuPrologSafetyReasoner.fromClasspath()
)
(
source
)