Module DataFlowMakeCore::MergePathGraph
Constructs a PathGraph from two PathGraphs by disjoint union.
Import path
import codeql.dataflow.DataFlowClasses
| PathNode | A node in a graph of path explanations that is formed by disjoint union of the two given graphs. |
Modules
| PathGraph | Provides the query predicates needed to include a graph in a path-problem query. |