Member predicate Configuration :: isBarrierOut
Holds if data flow out of node
is prohibited.
predicate
isBarrierOut
(
Node
node
)