@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
@Override public Void visit(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
@Override public Void visit(ElkDifferentIndividualsAxiom axiom) { indexDisjointMembers(elkDifferentIndividualsAxiomDisjointnessIndexer, axiom, axiom.getIndividuals()); return null; }
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;
List<? extends ElkClassExpression> disjoint = axiom .getClassExpressions(); indexDisjointMembers(elkDisjointUnionAxiomDisjointnessIndexer, axiom, disjoint); ModifiableIndexedClass defined;