@Override public Void visit( SubClassInclusionComposedEmptyObjectUnionOfMatch1 inferenceMatch1) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedEmptyObjectUnionOfMatch1 inferenceMatch1) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public Void visit( SubClassInclusionComposedEmptyObjectUnionOfMatch1 inferenceMatch1) { SubClassInclusionComposedMatch1 premiseMatch1 = inferenceMatch1 .getPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (SubClassInclusionComposedMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new SubClassInclusionComposedMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }