Module MakeImpl::Impl::FlowExploration::Public::PartialPathGraph
Provides the query predicates needed to include a graph in a path-problem query.
Import path
import codeql.dataflow.internal.DataFlowImplPredicates
| edges | Holds if |
Provides the query predicates needed to include a graph in a path-problem query.
import codeql.dataflow.internal.DataFlowImpl| edges | Holds if |