@Override public BackwardLinkCompositionMatch8 getBackwardLinkCompositionMatch8( BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { return new BackwardLinkCompositionMatch8(parent, thirdPremiseMatch); }
BackwardLinkCompositionMatch8(BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { super(parent); this.forwardChainExtendedDomains_ = thirdPremiseMatch .getExtendedDomains(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkMatch4 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch4( getParent().getThirdPremiseMatch(factory), getForwardChainExtendedDomains()); }
@Override public String visit(BackwardLinkCompositionMatch8 inferenceMatch8) { return inferenceMatch8.getParent() + " | "; }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
@Override public String visit(BackwardLinkCompositionMatch8 inferenceMatch8) { return inferenceMatch8.getParent() + " | "; }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
ForwardLinkMatch4 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch4( getParent().getThirdPremiseMatch(factory), getForwardChainExtendedDomains()); }
BackwardLinkCompositionMatch8(BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { super(parent); this.forwardChainExtendedDomains_ = thirdPremiseMatch .getExtendedDomains(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkCompositionMatch8 inferenceMatch8) { return inferenceMatch8.getParent() + " | "; }
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
@Override public BackwardLinkCompositionMatch8 getBackwardLinkCompositionMatch8( BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { return new BackwardLinkCompositionMatch8(parent, thirdPremiseMatch); }
ForwardLinkMatch4 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch4( getParent().getThirdPremiseMatch(factory), getForwardChainExtendedDomains()); }
BackwardLinkCompositionMatch8(BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { super(parent); this.forwardChainExtendedDomains_ = thirdPremiseMatch .getExtendedDomains(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getParent().getConclusionMatch(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 BackwardLinkCompositionMatch8 getBackwardLinkCompositionMatch8( BackwardLinkCompositionMatch7 parent, ForwardLinkMatch4 thirdPremiseMatch) { return new BackwardLinkCompositionMatch8(parent, thirdPremiseMatch); }
public BackwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getParent().getParent().getParent().getParent() .getFirstPremiseMatch(factory), getForwardChainExtendedDomains().getHead()); }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getParent().getConclusionMatch(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; }