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