Test new version of subsumption. (d54e19b5) · Commits · Program Slicing / e-Knife for Erlang with Constrained Edges

EDG/src/main/java/edg/slicing/ConstrainedSubsumedTabularAlgorithm.java

+1 −0

Original line number	Diff line number	Diff line
		@@ -17,6 +17,7 @@ public class ConstrainedSubsumedTabularAlgorithm extends ConstrainedTabularAlgor
		protected void propagate(Work work) {
		if (!pathEdge.contains(work)) {
		if (work.current().stack().isEdgeConstraintsEmpty() \|\| pathEdge.stream().noneMatch(work::isSubsumedBy)) {
		workList.removeIf(w -> w.isSubsumedBy(work));
		pathEdge.add(work);
		workList.add(work);
		}