Predicate postDominates
Holds if postDominator is a post-dominator of node in the control-flow graph. This
is reflexive.
Import path
import cpppredicate postDominates(ControlFlowNode postDominator, ControlFlowNode node)Holds if postDominator is a post-dominator of node in the control-flow graph. This
is reflexive.
import cpppredicate postDominates(ControlFlowNode postDominator, ControlFlowNode node)