Package pascal.taie.util.graph

package pascal.taie.util.graph

Related Packages

Package	Description
pascal.taie.util
pascal.taie.util.collection
pascal.taie.util.function

Class	Description
AbstractEdge<N>
DominatorFinder<N>	Finds dominators for the nodes in given Graph.
DotAttributes	Represents dot attributes.
DotDumper<N>	Configurable dot dumper.
Edge<N>	General interface for graph edges.
Graph<N>	Representation of a directed graph.
MergedNode<N>	Represents a node in MergedSCCGraph, where each node corresponds to a SCC.
MergedSCCGraph<N>	Represents a merged graph of a directed graph G.
Reachability<N>	Computes reachability information for graph.
ReverseGraph<N>	A reverse view of given graph.
SCC<N>	Finds strongly connected components in a directed graph using Tarjan's algorithm.
SimpleGraph<N>	A simple map-based implementation of Graph.
TopologicalSorter<N>	Topologically sorts a directed graph using DFS.