@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@Override public ElkDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { if (object_ == axiom) return axiom; if (object_ instanceof ElkDisjointClassesAxiom) { ElkDisjointClassesAxiom result = (ElkDisjointClassesAxiom) object_; if (equals(result.getClassExpressions(), axiom.getClassExpressions())) return result; } return null; }
@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(ElkDisjointClassesAxiom axiom) { indexDisjointMembers(elkDisjointClassesAxiomDisjointnessIndexer, axiom, axiom.getClassExpressions()); return null; }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public OWLDisjointClassesAxiom visit(ElkDisjointClassesAxiom axiom) { return owlFactory_.getOWLDisjointClassesAxiom( toClassExpressionSet(axiom.getClassExpressions())); }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
@Override public Integer visit(ElkDisjointClassesAxiom axiom) { return combinedHashCode(hashCode(ElkDisjointClassesAxiom.class), hashCode(axiom.getClassExpressions())); }
@Override public Void visit(ElkDisjointClassesAxiom elkDisjointClasses) { write("DisjointClasses("); write(elkDisjointClasses.getClassExpressions()); write(')'); return null; }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointClassesAxiomNaryConversion parent = getParent(); ElkDisjointClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointClassesAxiomNaryConversion parent = getParent(); ElkDisjointClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedDisjointClassesAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointClassesAxiomNaryConversion parent = getParent(); ElkDisjointClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedDisjointClassesAxiomMatch2( factory.getIndexedDisjointClassesAxiomMatch1( parent.getConclusion(factory)), disjoint); }
public IndexedSubClassOfAxiomMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { ElkDisjointClassesAxiomBinaryConversion parent = getParent(); ElkDisjointClassesAxiom premise = parent.getOriginalAxiom(); List<? extends ElkClassExpression> disjoint = premise .getClassExpressions(); return factory.getIndexedSubClassOfAxiomMatch2( factory.getIndexedSubClassOfAxiomMatch1( parent.getConclusion(factory)), factory.getObjectIntersectionOf( disjoint.get(parent.getFirstClassPosition()), disjoint.get(parent.getSecondClassPosition())), factory.getOwlNothing()); }