@Override public BackwardLinkCompositionMatch9 getBackwardLinkCompositionMatch9( BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { return new BackwardLinkCompositionMatch9(parent, firstPremiseMatch); }
BackwardLinkCompositionMatch9(BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedConclusionSourceMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkCompositionMatch9 inferenceMatch9) { return inferenceMatch9.getParent() + " | "; }
@Override public Void visit(BackwardLinkCompositionMatch9 inferenceMatch9) { inferenceMatch9.getConclusionMatch(conclusionFactory_); .getExtendedConclusionSourceMatch(); BackwardLinkCompositionMatch8 inferenceMatch8 = inferenceMatch9 .getParent(); IndexedContextRootMatchChain forwardChainExtendedDomains = inferenceMatch8 .getForwardChainExtendedDomains();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
@Override public Void visit(BackwardLinkCompositionMatch9 inferenceMatch9) { inferenceMatch9.getConclusionMatch(conclusionFactory_); .getExtendedConclusionSourceMatch(); BackwardLinkCompositionMatch8 inferenceMatch8 = inferenceMatch9 .getParent(); IndexedContextRootMatchChain forwardChainExtendedDomains = inferenceMatch8 .getForwardChainExtendedDomains();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
@Override public Void visit(BackwardLinkCompositionMatch9 inferenceMatch9) { inferenceMatch9.getConclusionMatch(conclusionFactory_); .getExtendedConclusionSourceMatch(); BackwardLinkCompositionMatch8 inferenceMatch8 = inferenceMatch9 .getParent(); IndexedContextRootMatchChain forwardChainExtendedDomains = inferenceMatch8 .getForwardChainExtendedDomains();
BackwardLinkMatch4 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getFirstPremiseMatch(factory), getExtendedConclusionSourceMatch()); }
BackwardLinkCompositionMatch9(BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedConclusionSourceMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public BackwardLinkCompositionMatch9 getBackwardLinkCompositionMatch9( BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { return new BackwardLinkCompositionMatch9(parent, firstPremiseMatch); }
@Override public String visit(BackwardLinkCompositionMatch9 inferenceMatch9) { return inferenceMatch9.getParent() + " | "; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getParent().getConclusionMatch(factory), getExtendedConclusionSourceMatch()); }
BackwardLinkCompositionMatch9(BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { super(parent); this.extendedConclusionSourceMatch_ = firstPremiseMatch .getExtendedSourceMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public BackwardLinkCompositionMatch9 getBackwardLinkCompositionMatch9( BackwardLinkCompositionMatch8 parent, BackwardLinkMatch4 firstPremiseMatch) { return new BackwardLinkCompositionMatch9(parent, firstPremiseMatch); }
@Override public String visit(BackwardLinkCompositionMatch9 inferenceMatch9) { return inferenceMatch9.getParent() + " | "; }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getParent().getConclusionMatch(factory), getExtendedConclusionSourceMatch()); }
public BackwardLinkMatch4 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch4( getParent().getParent().getConclusionMatch(factory), getExtendedConclusionSourceMatch()); }