SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getFirstPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public Void visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
@Override public Void visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }
@Override public Void visit( SubClassInclusionExpandedSecondEquivalentClassMatch2 inferenceMatch2) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch2 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch2); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch2); } return null; }