SubsumerSingletonObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (value.getClassExpressions().size() != 1) { throw new IllegalArgumentException( "ElkObjectUnionOf must be singleton: " + value); } }
SubsumerSingletonObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (value.getClassExpressions().size() != 1) { throw new IllegalArgumentException( "ElkObjectUnionOf must be singleton: " + value); } }
SubsumerSingletonObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (value.getClassExpressions().size() != 1) { throw new IllegalArgumentException( "ElkObjectUnionOf must be singleton: " + value); } }
SubsumerEmptyObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (!value.getClassExpressions().isEmpty()) { throw new IllegalArgumentException( "ElkObjectUnionOf must be empty: " + value); } }
@Override public ElkObjectUnionOf visit(ElkObjectUnionOf expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectUnionOf) { ElkObjectUnionOf result = (ElkObjectUnionOf) object_; if (equals(result.getClassExpressions(), expression.getClassExpressions())) return result; } return null; }
SubsumerEmptyObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (!value.getClassExpressions().isEmpty()) { throw new IllegalArgumentException( "ElkObjectUnionOf must be empty: " + value); } }
@Override public ElkObjectUnionOf visit(ElkObjectUnionOf expression) { if (object_ == expression) return expression; if (object_ instanceof ElkObjectUnionOf) { ElkObjectUnionOf result = (ElkObjectUnionOf) object_; if (equals(result.getClassExpressions(), expression.getClassExpressions())) return result; } return null; }
SubsumerEmptyObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (!value.getClassExpressions().isEmpty()) { throw new IllegalArgumentException( "ElkObjectUnionOf must be empty: " + value); } }
SubsumerObjectUnionOfMatch(ElkObjectUnionOf value) { super(value); if (value.getClassExpressions().size() <= 1) { throw new IllegalArgumentException( "ElkObjectUnionOf must have at lest two members: " + value); } }
@Override public OWLObjectUnionOf visit(ElkObjectUnionOf expression) { return owlFactory_.getOWLObjectUnionOf( toClassExpressionSet(expression.getClassExpressions())); }
@Override public OWLObjectUnionOf visit(ElkObjectUnionOf expression) { return owlFactory_.getOWLObjectUnionOf( toClassExpressionSet(expression.getClassExpressions())); }
@Override public OWLObjectUnionOf visit(ElkObjectUnionOf expression) { return owlFactory_.getOWLObjectUnionOf( toClassExpressionSet(expression.getClassExpressions())); }
@Override public SubsumerMatch visit(ElkObjectUnionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectUnionOfMatch(match); case 1: return new SubsumerSingletonObjectUnionOfMatch(match); default: return new SubsumerObjectUnionOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectUnionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectUnionOfMatch(match); case 1: return new SubsumerSingletonObjectUnionOfMatch(match); default: return new SubsumerObjectUnionOfMatch(match); } }
@Override public SubsumerMatch visit(ElkObjectUnionOf match) { switch (match.getClassExpressions().size()) { case 0: return new SubsumerEmptyObjectUnionOfMatch(match); case 1: return new SubsumerSingletonObjectUnionOfMatch(match); default: return new SubsumerObjectUnionOfMatch(match); } }
@Override public Void visit(ElkObjectUnionOf elkObjectUnionOf) { write("ObjectUnionOf("); write(elkObjectUnionOf.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkObjectUnionOf elkObjectUnionOf) { write("ObjectUnionOf("); write(elkObjectUnionOf.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkObjectUnionOf expression) { return combinedHashCode(hashCode(ElkObjectUnionOf.class), hashCode(expression.getClassExpressions())); }
@Override public Void visit(ElkObjectUnionOf elkObjectUnionOf) { write("ObjectUnionOf("); write(elkObjectUnionOf.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkObjectUnionOf elkObjectUnionOf) { write("ObjectUnionOf("); write(elkObjectUnionOf.getClassExpressions()); write(')'); return null; }