SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedDestinationMatch()); }
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 PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }
public PropagationMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getPropagationMatch2( getParent().getParent().getConclusionMatch(factory), getParent().getExtendedDestinationMatch()); }
.getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); PropagationGeneratedMatch1 inferenceMatch1 = inferenceMatch2 .getParent();
.getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); PropagationGeneratedMatch1 inferenceMatch1 = inferenceMatch2 .getParent();
.getParent(); IndexedContextRootMatch extendedDestinationMatch = inferenceMatch2 .getExtendedDestinationMatch(); PropagationGeneratedMatch1 inferenceMatch1 = inferenceMatch2 .getParent();