T - type of node in the supergraphP - type of a procedure, like a box in an RSMF - type of factoids propagated when solving this problempublic interface TabulationResult<T,P,F>
| Modifier and Type | Method and Description |
|---|---|
TabulationProblem<T,P,F> |
getProblem() |
com.ibm.wala.util.intset.IntSet |
getResult(T node)
get the bitvector of facts that hold at IN for a given node in the supergraph.
|
Collection<PathEdge<T>> |
getSeeds() |
com.ibm.wala.util.intset.IntSet |
getSummaryTargets(T n1,
int d1,
T n2) |
Collection<T> |
getSupergraphNodesReached() |
com.ibm.wala.util.intset.IntSet getResult(T node)
node - a node in the supergraphTabulationProblem<T,P,F> getProblem()
Collection<T> getSupergraphNodesReached()
com.ibm.wala.util.intset.IntSet getSummaryTargets(T n1, int d1, T n2)
n1 - d1 - n2 - Collection<PathEdge<T>> getSeeds()
PathEdges that were used as seeds during the tabulation.Copyright © 2015. All rights reserved.