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