Member predicate PointsToContext::PointsToContext::appliesTo

Holds if this context can apply to the CFG node n.

predicate appliesTo(ControlFlowNode n)