Member predicate DataFlow2 :: Configuration :: isBarrierIn
Holds if data flow into node
is prohibited.
predicate
isBarrierIn
(
Node
node
)