@Override public BackwardLinkCompositionMatch6 getBackwardLinkCompositionMatch6( BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { return new BackwardLinkCompositionMatch6(parent, thirdPremiseMatch); }
BackwardLinkCompositionMatch6(BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { super(parent); this.destinationMatch_ = thirdPremiseMatch.getTargetMatch(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
ForwardLinkMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getThirdPremiseMatch(factory), getDestinationMatch()); }
@Override public String visit(BackwardLinkCompositionMatch6 inferenceMatch6) { return inferenceMatch6.getParent() + " | "; }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
public ForwardLinkMatch3 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getThirdPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit(BackwardLinkCompositionMatch6 inferenceMatch6) { return inferenceMatch6.getParent() + " | "; }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
public ForwardLinkMatch3 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getThirdPremiseMatch(factory), getExtendedDestinationMatch()); }
ForwardLinkMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getThirdPremiseMatch(factory), getDestinationMatch()); }
BackwardLinkCompositionMatch6(BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { super(parent); this.destinationMatch_ = thirdPremiseMatch.getTargetMatch(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkCompositionMatch6 inferenceMatch6) { return inferenceMatch6.getParent() + " | "; }
BackwardLinkMatch3 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getConclusionMatch(factory), getExtendedDestinationMatch()); }
@Override public BackwardLinkCompositionMatch6 getBackwardLinkCompositionMatch6( BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { return new BackwardLinkCompositionMatch6(parent, thirdPremiseMatch); }
public ForwardLinkMatch3 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch3( getParent().getThirdPremiseMatch(factory), getExtendedDestinationMatch()); }
ForwardLinkMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch2( getParent().getThirdPremiseMatch(factory), getDestinationMatch()); }
BackwardLinkCompositionMatch6(BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { super(parent); this.destinationMatch_ = thirdPremiseMatch.getTargetMatch(); checkEquals(thirdPremiseMatch, getThirdPremiseMatch(DEBUG_FACTORY)); }
public BackwardLinkMatch3 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch3( getParent().getParent().getParent().getParent().getParent() .getFirstPremiseMatch(factory), getForwardChainExtendedDomains().getHead()); }
@Override public Void visit(BackwardLinkCompositionMatch6 inferenceMatch6) { BackwardLinkMatch2 conclusionMatch2 = inferenceMatch6 .getConclusionMatch(conclusionFactory_); inferences_.add(conclusionMatch2, inferenceMatch6); for (BackwardLinkMatch3 child : hierarchy_ .getChildren(conclusionMatch2)) { (new BackwardLinkMatch3InferenceVisitor(inferenceFactory_, child)) .visit(inferenceMatch6); } return null; }
@Override public BackwardLinkCompositionMatch6 getBackwardLinkCompositionMatch6( BackwardLinkCompositionMatch5 parent, ForwardLinkMatch2 thirdPremiseMatch) { return new BackwardLinkCompositionMatch6(parent, thirdPremiseMatch); }