Member predicate Routing::RouteSetup::Base::isInstalledAt
Holds if this route setup targets router
and occurs at the given cfgNode
.
predicate isInstalledAt(Range router, ControlFlowNode cfgNode)
Holds if this route setup targets router
and occurs at the given cfgNode
.
predicate isInstalledAt(Range router, ControlFlowNode cfgNode)