BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { BackwardLinkMatch3 premiseMatch1 = inferenceMatch3 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (BackwardLinkMatch4 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch4InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { BackwardLinkMatch3 premiseMatch1 = inferenceMatch3 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (BackwardLinkMatch4 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch4InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }
@Override public Void visit( SubClassInclusionComposedObjectSomeValuesFromMatch3 inferenceMatch3) { BackwardLinkMatch3 premiseMatch1 = inferenceMatch3 .getFirstPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch3); for (BackwardLinkMatch4 child : hierarchy_.getChildren(premiseMatch1)) { (new BackwardLinkMatch4InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }