/** * Excludes the given GraphElementClass and all its subclasses. * * @param processed marks already processed Elements. * @param currentGraphElementClass the GraphElementClass to exclude. */ private void excludeGraphElementClass( LocalBooleanGraphMarker processed, EdgeClass currentGraphElementClass) { processed.mark(currentGraphElementClass); includes.removeMark(currentGraphElementClass); for (SpecializesEdgeClass_superEdgeClass current : currentGraphElementClass.getSpecializesEdgeClass_superEdgeClassIncidences()) { EdgeClass superclass = (EdgeClass) current.getThat(); excludeGraphElementClass(processed, superclass); } }