@Override public String visit(PropagationGeneratedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(PropagationGeneratedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
@Override public String visit(PropagationGeneratedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
PropagationMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch1(getParent().getConclusion(factory), destinationMatch_, subDestinationMatch_, conclusionCarryMatch_); }
PropagationMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch1(getParent().getConclusion(factory), destinationMatch_, subDestinationMatch_, conclusionCarryMatch_); }
PropagationMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch1(getParent().getConclusion(factory), destinationMatch_, subDestinationMatch_, conclusionCarryMatch_); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }
public SubPropertyChainMatch1 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch1( getParent().getParent().getThirdPremise(factory), getParent().getConclusionCarryMatch().getPropertyMatch(), 0); }