Skip to content

finally remove HVE filter

Петров Олег Максимович requested to merge mr59-refactor-smg-hve-filter-object into smg-master

Remove SMGEdgeHasValueFilter class

As filtering has-value edges in SMGs has some specific cases, most of which have one expected edge at most, use specific methods instead. See previous commits for each case.

Remove SMGState#getHVEdges(SMGEdgeHasValueFilter), SMG#getHVEdges(SMGEdgeHasValueFilter), SMGHasValueEdgeSet#filter(SMGEdgeHasValueFilter), and HVE set's private class of filtered iterator.

Add filterObjectTest as it was not added before.

Edited by Петров Олег Максимович

Merge request reports