/**
* 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);
}
}
