Member predicate DataFlow::Configuration::isBarrierOut
Holds if flow out node
is prohibited for the flow label lbl
.
predicate isBarrierOut(Node node, FlowLabel lbl)
Holds if flow out node
is prohibited for the flow label lbl
.
predicate isBarrierOut(Node node, FlowLabel lbl)