Predicate iDominates
Holds if dominator
is an immediate dominator of node
in the control-flow
graph.
Import path
import cpp
predicate iDominates(ControlFlowNode dominator, ControlFlowNode node)
Holds if dominator
is an immediate dominator of node
in the control-flow
graph.
import cpp
predicate iDominates(ControlFlowNode dominator, ControlFlowNode node)