@Override public BackwardLinkReversedExpandedMatch3 getBackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { return new BackwardLinkReversedExpandedMatch3(parent, firstPremiseMatch); }
BackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { super(parent); this.destinationMatch_ = firstPremiseMatch.getTargetMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public ForwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public ForwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
BackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { super(parent); this.destinationMatch_ = firstPremiseMatch.getTargetMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit(BackwardLinkReversedExpandedMatch3 inferenceMatch3) { return inferenceMatch3.getParent() + " | "; }
public ForwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getFirstPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public BackwardLinkReversedExpandedMatch3 getBackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { return new BackwardLinkReversedExpandedMatch3(parent, firstPremiseMatch); }
ForwardLinkMatch2 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getFirstPremiseMatch(factory), getDestinationMatch()); }
BackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { super(parent); this.destinationMatch_ = firstPremiseMatch.getTargetMatch(); checkEquals(firstPremiseMatch, getFirstPremiseMatch(DEBUG_FACTORY)); }
@Override public Void visit(BackwardLinkReversedExpandedMatch3 inferenceMatch3) { BackwardLinkMatch2 concluisonMatch2 = inferenceMatch3 .getConclusionMatch(conclusionFactory_); inferences_.add(concluisonMatch2, inferenceMatch3); for (BackwardLinkMatch3 child : hierarchy_ .getChildren(concluisonMatch2)) { (new BackwardLinkMatch3InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch3); } return null; }
@Override public Void visit(BackwardLinkReversedExpandedMatch5 inferenceMatch5) { inferenceMatch5.getConclusionMatch(conclusionFactory_); // creating ELK inferences IndexedContextRootMatchChain extendedDomains = inferenceMatch5 .getExtendedDomains(); BackwardLinkReversedExpandedMatch4 inferenceMatch4 = inferenceMatch5 .getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch4 .getExtendedDestinationMatch(); BackwardLinkReversedExpandedMatch3 inferenceMatch3 = inferenceMatch4 .getParent(); BackwardLinkReversedExpandedMatch2 inferenceMatch2 = inferenceMatch3 .getParent(); ElkSubObjectPropertyExpression subChainMatch = inferenceMatch2 .getSubChainMatch(); ElkObjectProperty relationMatch = inferenceMatch2.getRelationMatch(); elkInferenceFactory_.getElkClassInclusionExistentialComposition( toList(extendedDomains, extendedDestinationMatch), toList(subChainMatch), relationMatch); return null; }
@Override public BackwardLinkReversedExpandedMatch3 getBackwardLinkReversedExpandedMatch3( BackwardLinkReversedExpandedMatch2 parent, ForwardLinkMatch2 firstPremiseMatch) { return new BackwardLinkReversedExpandedMatch3(parent, firstPremiseMatch); }