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