Module MakeImpl::Impl::MkStage::Stage::Graph::Public

Holds if data can flow from source to sink.

A Node augmented with a call context (except for sinks) and an access path. Only those PathNodes that are reachable from a source, and which can reach a sink, are generated.

Provides the query predicates needed to include a graph in a path-problem query.