@Override public Void visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedDefinedClassMatch1 inferenceMatch1) { IndexedEquivalentClassesAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedEquivalentClassesAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedEquivalentClassesAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }
IndexedEquivalentClassesAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedEquivalentClassesAxiomMatch2( getParent().getSecondPremiseMatch(factory), getParent().getDefinedClassMatch(), getDefinitionMatch()); }