toggle menu
codyze
jvm
switch theme
search in API
coko-core
/
de.fraunhofer.aisec.codyze.specificationLanguages.coko.core
/
CokoBackend
/
precedes
precedes
abstract
infix
fun
Op
.
precedes
(
that
:
Op
)
:
Evaluator
(
source
)
For each of the nodes in
that
, there is a path from at least one of the nodes in
this
.