Member predicate Configuration :: isBarrierGuard
DEPRECATED: Use isBarrier
and BarrierGuard
module instead.
Holds if data flow through nodes guarded by guard
is prohibited when
the flow state is state
predicate
isBarrierGuard
(
BarrierGuard
guard
,
FlowState
state
)