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