add getLocalPathEdges
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3060 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
34b71378d8
commit
806602dcfa
|
@ -815,6 +815,10 @@ public class TabulationSolver<T, P, F> {
|
|||
addToWorkList(s_p, i, n, j);
|
||||
}
|
||||
}
|
||||
|
||||
public LocalPathEdges getLocalPathEdges(T s_p) {
|
||||
return pathEdges.get(s_p);
|
||||
}
|
||||
|
||||
/**
|
||||
* Merging: suppose we're doing propagate <s_p,i> -> <n,j> but we already have path edges <s_p,i> -> <n, x>, <s_p,i> -> <n,y>, and
|
||||
|
|
Loading…
Reference in New Issue