@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(BackwardLinkReversedExpandedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), originMatch_); }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), originMatch_); }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), originMatch_); }
public IndexedSubObjectPropertyOfAxiomMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getSecondPremise(factory)); }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }
public ForwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getOriginMatch(), subChainMatch_, 0); }