Package pascal.taie.util.graph

Class Reachability<N>

java.lang.Object

pascal.taie.util.graph.Reachability<N>

Type Parameters:

N - type of graph nodes.

public class Reachability<N>
extends Object

Computes reachability information for graph.

Constructor Summary

Constructors

Constructor	Description
Reachability(Graph<N> graph)

Method Summary

Modifier and Type	Method	Description
Set<N>	nodesCanReach(N target)
Set<N>	reachableNodesFrom(N source)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

Reachability

public Reachability(Graph<N> graph)

Method Details

reachableNodesFrom

public Set<N> reachableNodesFrom(N source)

Returns:

all nodes those can be reached from source.

nodesCanReach

public Set<N> nodesCanReach(N target)

Returns:

all nodes those can reach target.