Package com.ibm.wala.util.graph
Class GraphReachability<T,S>
- java.lang.Object
-
- com.ibm.wala.util.graph.GraphReachability<T,S>
-
public class GraphReachability<T,S> extends java.lang.Object
A dataflow system that computes, for each graph node, the set of "interesting" nodes that are reachable
-
-
Constructor Summary
Constructors Constructor Description GraphReachability(Graph<T> g, java.util.function.Predicate<? super T> filter)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description OrdinalSet<S>
getReachableSet(java.lang.Object n)
boolean
solve(MonitorUtil.IProgressMonitor monitor)
-
-
-
Method Detail
-
getReachableSet
public OrdinalSet<S> getReachableSet(java.lang.Object n) throws java.lang.IllegalStateException
- Returns:
- the set of interesting nodes reachable from n
- Throws:
java.lang.IllegalStateException
-
solve
public boolean solve(MonitorUtil.IProgressMonitor monitor) throws CancelException
- Returns:
- true iff the evaluation of some equation caused a change in the value of some variable.
- Throws:
CancelException
-
-