Member predicate Make::Public::BarrierElement::isBarrier
Holds if this element is a flow barrier of kind kind, where data
flows out as described by output.
predicate isBarrier(string output, string kind, Provenance provenance, string model)Holds if this element is a flow barrier of kind kind, where data
flows out as described by output.
predicate isBarrier(string output, string kind, Provenance provenance, string model)