@Override public BackwardLinkReversedExpandedMatch1 getBackwardLinkReversedExpandedMatch1( BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkReversedExpandedMatch1(parent, conclusionMatch); }
BackwardLinkReversedExpandedMatch1(BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }
@Override public Void visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }
BackwardLinkReversedExpandedMatch1(BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getSecondPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public BackwardLinkReversedExpandedMatch1 getBackwardLinkReversedExpandedMatch1( BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkReversedExpandedMatch1(parent, conclusionMatch); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
BackwardLinkReversedExpandedMatch1(BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
@Override public BackwardLinkReversedExpandedMatch1 getBackwardLinkReversedExpandedMatch1( BackwardLinkReversedExpanded parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkReversedExpandedMatch1(parent, conclusionMatch); }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }