Member predicate Guards::Internal::Guard::controlsNode

Holds if control flow node cfn only is reached when this guard evaluates to v.

predicate controlsNode(Node cfn, AbstractValue v)