@Override public String visit(BackwardLinkCompositionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(BackwardLinkCompositionMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public IndexedSubObjectPropertyOfAxiomMatch1 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFifthPremise(factory)); }
public IndexedSubObjectPropertyOfAxiomMatch1 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFifthPremise(factory)); }
public IndexedSubObjectPropertyOfAxiomMatch1 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch1( getParent().getFifthPremise(factory)); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
BackwardLinkMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1(getParent().getConclusion(factory), getConclusionSourceMatch()); }
public BackwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getConclusionSourceMatch()); }
public BackwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getConclusionSourceMatch()); }
public BackwardLinkMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch1( getParent().getParent().getFirstPremise(factory), getParent().getConclusionSourceMatch()); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
public SubPropertyChainMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getSecondPremise(factory), getParent().getFirstProperty(), 0); }
public SubPropertyChainMatch1 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getParent() .getFourthPremise(factory), getParent().getParent().getCompositionMatch(), 1); }
public SubPropertyChainMatch1 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getParent() .getFourthPremise(factory), getParent().getParent().getCompositionMatch(), 1); }
public SubPropertyChainMatch1 getFourthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getParent().getParent() .getFourthPremise(factory), getParent().getParent().getCompositionMatch(), 1); }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getParent() .getThirdPremise(factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getParent() .getThirdPremise(factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }
public ForwardLinkMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getForwardLinkMatch1( getParent().getParent().getParent().getParent().getParent() .getThirdPremise(factory), getParent().getParent().getOriginMatch(), fullPremiseForwardChainMatch_, premiseForwardChainStartPos_); }