@Override public BackwardLinkCompositionMatch1 getBackwardLinkCompositionMatch1( BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkCompositionMatch1(parent, conclusionMatch); }
BackwardLinkCompositionMatch1(BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { super(parent); this.conclusionSourceMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
@Override public String visit(BackwardLinkCompositionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
@Override public String visit(BackwardLinkCompositionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public Void visit(BackwardLinkCompositionMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getFifthPremiseMatch(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().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
@Override public String visit(BackwardLinkCompositionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
BackwardLinkCompositionMatch1(BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { super(parent); this.conclusionSourceMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public Void visit(BackwardLinkCompositionMatch1 inferenceMatch1) { IndexedSubObjectPropertyOfAxiomMatch1 premiseMatch1 = inferenceMatch1 .getFifthPremiseMatch(conclusionFactory_); inferences_.add(premiseMatch1, inferenceMatch1); for (IndexedSubObjectPropertyOfAxiomMatch2 child : hierarchy_ .getChildren(premiseMatch1)) { (new IndexedSubObjectPropertyOfAxiomMatch2InferenceVisitor( inferenceFactory_, child)).visit(inferenceMatch1); } return null; }
@Override public BackwardLinkCompositionMatch1 getBackwardLinkCompositionMatch1( BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkCompositionMatch1(parent, conclusionMatch); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
public IndexedSubObjectPropertyOfAxiomMatch1 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFifthPremise(factory)); }
BackwardLinkCompositionMatch1(BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { super(parent); this.conclusionSourceMatch_ = conclusionMatch.getSourceMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
@Override public BackwardLinkCompositionMatch1 getBackwardLinkCompositionMatch1( BackwardLinkComposition parent, BackwardLinkMatch1 conclusionMatch) { return new BackwardLinkCompositionMatch1(parent, conclusionMatch); }