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
/
isConflictUnsafe
is
Conflict
Unsafe
open
override
fun
isConflictUnsafe
(
conflict
:
Conflict
,
state
:
SimulationState
)
:
Boolean
(
source
)