SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
.getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent();
.getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent();
.getParent(); IndexedContextRootMatch extendedOriginMatch = inferenceMatch2 .getExtendedOriginMatch(); SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent();