@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectIntersectionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectIntersectionOfMatch(match); case 1: return new SubsumerSingletonObjectIntersectionOfMatch(match); default: return new IndexedObjectIntersectionOfMatch(match); } }