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
/
reasoning
/
TuPrologSafetyReasoner
/
isManeuverAllowed
is
Maneuver
Allowed
open
override
fun
isManeuverAllowed
(
aircraftId
:
String
,
maneuver
:
Maneuver
,
state
:
SimulationState
)
:
Boolean
(
source
)