Member predicate AdditionalSink::isSinkFor
Holds if this data flow node should be considered a sink node for
values labeled with lbl under configuration cfg.
predicate isSinkFor(Configuration cfg, FlowLabel lbl)Holds if this data flow node should be considered a sink node for
values labeled with lbl under configuration cfg.
predicate isSinkFor(Configuration cfg, FlowLabel lbl)