@Override public PropagationGeneratedMatch1 getPropagationGeneratedMatch1( PropagationGenerated parent, PropagationMatch1 conclusionMatch) { return new PropagationGeneratedMatch1(parent, conclusionMatch); }
PropagationGeneratedMatch1(PropagationGenerated parent, PropagationMatch1 conclusionMatch) { super(parent); this.destinationMatch_ = conclusionMatch.getDestinationMatch(); this.subDestinationMatch_ = conclusionMatch.getSubDestinationMatch(); this.conclusionCarryMatch_ = conclusionMatch.getCarryMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
@Override public String visit(PropagationGeneratedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
.getParent(); IndexedObjectSomeValuesFromMatch conclusionCarryMatch = inferenceMatch1 .getConclusionCarryMatch(); ElkObjectProperty subDestinationMatch = inferenceMatch1 .getSubDestinationMatch();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
public PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }
public SubPropertyChainMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getThirdPremiseMatch(factory), getParent().getParent().getSubDestinationMatch(), 0); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
.getParent(); IndexedObjectSomeValuesFromMatch conclusionCarryMatch = inferenceMatch1 .getConclusionCarryMatch(); ElkObjectProperty subDestinationMatch = inferenceMatch1 .getSubDestinationMatch();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
public PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }
public SubPropertyChainMatch2 getThirdPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubPropertyChainMatch2( getParent().getThirdPremiseMatch(factory), getParent().getParent().getSubDestinationMatch(), 0); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), destinationMatch_, SubsumerMatches .create(getConclusionCarryMatch().getFillerMatch())); }
PropagationGeneratedMatch1(PropagationGenerated parent, PropagationMatch1 conclusionMatch) { super(parent); this.destinationMatch_ = conclusionMatch.getDestinationMatch(); this.subDestinationMatch_ = conclusionMatch.getSubDestinationMatch(); this.conclusionCarryMatch_ = conclusionMatch.getCarryMatch(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
.getParent(); IndexedObjectSomeValuesFromMatch conclusionCarryMatch = inferenceMatch1 .getConclusionCarryMatch(); ElkObjectProperty subDestinationMatch = inferenceMatch1 .getSubDestinationMatch();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
@Override public String visit(PropagationGeneratedMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }
@Override public PropagationGeneratedMatch1 getPropagationGeneratedMatch1( PropagationGenerated parent, PropagationMatch1 conclusionMatch) { return new PropagationGeneratedMatch1(parent, conclusionMatch); }