Predicate dominates
Holds if dominator
is a dominator of node
in the control-flow graph. This
is reflexive.
Import path
import cpp
predicate dominates(ControlFlowNode dominator, ControlFlowNode node)
Holds if dominator
is a dominator of node
in the control-flow graph. This
is reflexive.
import cpp
predicate dominates(ControlFlowNode dominator, ControlFlowNode node)