@Override public List<? extends ElkClassExpression> getClassExpressions() { List<ElkClassExpression> result = new ArrayList<ElkClassExpression>(); for (OWLClassExpression ce : this.owlObject.getClassExpressions()) { result.add(converter.convert(ce)); } return result; }
@Override public List<? extends ElkClassExpression> getClassExpressions() { List<ElkClassExpression> result = new ArrayList<ElkClassExpression>(); for (OWLClassExpression ce : this.owlObject.getClassExpressions()) { result.add(converter.convert(ce)); } return result; }
public void visit(OWLDisjointUnionAxiom axiom) { hashCode = 43; hashCode = hashCode * MULT + axiom.getOWLClass().hashCode(); hashCode = hashCode * MULT + axiom.getClassExpressions().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { hashCode = primes[11]; hashCode = hashCode * MULT + axiom.getOWLClass().hashCode(); hashCode = hashCode * MULT + axiom.getClassExpressions().hashCode(); hashCode = hashCode * MULT + axiom.getAnnotations().hashCode(); }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> descs = new HashSet<OWLClassExpression>(); for (OWLClassExpression op : axiom.getClassExpressions()) { descs.add(op.accept(this)); } return dataFactory.getOWLDisjointUnionAxiom(axiom.getOWLClass(), descs); }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> descs = new HashSet<>(); for (OWLClassExpression op : axiom.getClassExpressions()) { descs.add(op.accept(this)); } return dataFactory.getOWLDisjointUnionAxiom(axiom.getOWLClass(), descs); }
@Override public OWLAxiom visit(OWLDisjointUnionAxiom axiom) { Set<OWLClassExpression> descs = new HashSet<>(); for (OWLClassExpression op : axiom.getClassExpressions()) { descs.add(op.accept(this)); } return dataFactory.getOWLDisjointUnionAxiom(axiom.getOWLClass(), descs); }
@Override protected int compareObjectOfSameType(OWLObject object) { OWLDisjointUnionAxiom other = (OWLDisjointUnionAxiom) object; int diff = owlClass.compareTo(other.getOWLClass()); if (diff != 0) { return diff; } return compareSets(classExpressions, other.getClassExpressions()); } }
@Override public void visit(OWLDisjointUnionAxiom axiom) { sb.append("DisjointUnion("); writeAnnotations(axiom); axiom.getOWLClass().accept(this); insertSpace(); render(axiom.getClassExpressions()); sb.append(" )"); }
protected int compareObjectOfSameType(OWLObject object) { OWLDisjointUnionAxiom other = (OWLDisjointUnionAxiom) object; int diff = owlClass.compareTo(other.getOWLClass()); if (diff != 0) { return diff; } return compareSets(classExpressions, other.getClassExpressions()); } }
@Override public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept((OWLEntityVisitor) this); for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } processAxiomAnnotations(axiom); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept((OWLEntityVisitor) this); for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } processAxiomAnnotations(axiom); }
public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept((OWLEntityVisitor) this); for (OWLClassExpression desc : axiom.getClassExpressions()) { desc.accept(this); } processAxiomAnnotations(axiom); }
public void visit(OWLDisjointUnionAxiom axiom) { handleObject(axiom); axiom.getOWLClass().accept(this); process(axiom.getClassExpressions()); }
@Override public void visit(@Nonnull OWLDisjointUnionAxiom axiom) { setAxiomWriting(); axiom.getOWLClass().accept(this); write(DISJOINT_UNION_OF); writeCommaSeparatedList(axiom.getClassExpressions()); restore(); }
public void visit(OWLDisjointUnionAxiom axiom) { axiom.getOWLClass().accept(this); renderKeywordWithSpaces(ManchesterOWLSyntax.DISJOINT_UNION_OF); renderCollection(axiom, axiom.getClassExpressions(), COMMA_SEPARATOR, ComplexClassExpressionBracketingStrategy.get()); }
public void visit(OWLDisjointUnionAxiom theAxiom) { write( theAxiom.getOWLClass() ); writeSpace(); write( Keyword.DISJOINT_UNION ); writeSpace(); writeNaryKeyword( Keyword.OR, theAxiom.getClassExpressions() ); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { writeAxiomStart(DISJOINT_UNION, axiom); axiom.getOWLClass().accept(this); writeSpace(); write(axiom.getClassExpressions()); writeAxiomEnd(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { setAxiomWriting(); axiom.getOWLClass().accept(this); write(DISJOINT_UNION_OF); writeCommaSeparatedList(axiom.getClassExpressions()); restore(); }
@Override public void visit(OWLDisjointUnionAxiom axiom) { writer.writeStartElement(DISJOINT_UNION); writeAnnotations(axiom); axiom.getOWLClass().accept(this); render(axiom.getClassExpressions()); writer.writeEndElement(); }