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
)