Member predicate Configuration::isLabeledBarrier
Holds if flow with label lbl
cannot flow into node
.
predicate isLabeledBarrier(Node node, FlowLabel label)
Holds if flow with label lbl
cannot flow into node
.
predicate isLabeledBarrier(Node node, FlowLabel label)