+
+ /**
+ * Applies a filter to the graph for removing elements.
+ * @param aFilter Filter to apply.
+ */
+ public void applyFilter(EdgeFilter aFilter) {
+ for (Iterator<Edge> edge = _edges.iterator(); edge.hasNext(); ) {
+ if (aFilter.isViolated(edge.next())) {
+ edge.remove();
+ }
+ }
+ }