@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit(BackwardLinkReversedExpandedMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getSecondPremiseMatch(factory), getSubChainMatch(), getRelationMatch()); }
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 BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getRelationMatch(), getDestinationMatch()); }