@Override public String visit(BackwardLinkCompositionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
@Override public String visit(BackwardLinkCompositionMatch2 inferenceMatch2) { return inferenceMatch2.getParent() + " | "; }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
IndexedSubObjectPropertyOfAxiomMatch2 getFifthPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getIndexedSubObjectPropertyOfAxiomMatch2( getParent().getFifthPremiseMatch(factory), getCompositionMatch(), getConclusionRelationMatch()); }
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_); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }
public BackwardLinkMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getBackwardLinkMatch2( getParent().getParent().getParent().getParent().getParent() .getConclusionMatch(factory), getParent().getParent().getParent().getParent() .getConclusionRelationMatch(), getDestinationMatch()); }