Uses of Package
pascal.taie.util.graph

Packages that use pascal.taie.util.graph

Package	Description
pascal.taie.analysis.graph.callgraph	Provides the classes necessary to build and represent a call graph.
pascal.taie.analysis.graph.cfg
pascal.taie.analysis.graph.flowgraph
pascal.taie.analysis.graph.icfg	Provides the classes necessary to represent an inter-procedural control-flow graph (ICFG).
pascal.taie.analysis.pta.core.cs	Provide functionality related to context sensitivity.
pascal.taie.analysis.pta.core.solver	Provide data structures and algorithms of context-sensitive pointer analysis solver.
pascal.taie.analysis.pta.toolkit.util
pascal.taie.config	This package provides functionality for processing options and configurations.
pascal.taie.util.graph

Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.callgraph

Class	Description
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.cfg

Class	Description
AbstractEdge
Edge	General interface for graph edges.
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.flowgraph

Class	Description
Edge	General interface for graph edges.
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.graph.icfg

Class	Description
AbstractEdge
Edge	General interface for graph edges.
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.core.cs

Class	Description
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.core.solver

Class	Description
Edge	General interface for graph edges.
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.analysis.pta.toolkit.util

Class	Description
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.config

Class	Description
Graph	Representation of a directed graph.

Classes in pascal.taie.util.graph used by pascal.taie.util.graph

Class	Description
DotAttributes	Represents dot attributes.
DotDumper	Configurable dot dumper.
Edge	General interface for graph edges.
Graph	Representation of a directed graph.
MergedNode	Represents a node in MergedSCCGraph, where each node corresponds to a SCC.