remove check in compareElements since we're now passing PathEdges to hasPriorityOver()
git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2696 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
This commit is contained in:
parent
d0d0fcdeb2
commit
e51c1b0dd6
|
@ -965,12 +965,7 @@ public class TabulationSolver<T, P> {
|
||||||
@SuppressWarnings("unchecked")
|
@SuppressWarnings("unchecked")
|
||||||
@Override
|
@Override
|
||||||
protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
|
protected boolean compareElements(PathEdge<T> p1, PathEdge<T> p2) {
|
||||||
if (p1.d2 != p2.d2) { // TODO should we remove this check?
|
return problem.getDomain().hasPriorityOver(p1, p2);
|
||||||
if (problem.getDomain().hasPriorityOver(p1, p2)) {
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return false;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in New Issue