public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
public SubClassInclusionComposedMatch1 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getSecondPremise(factory), getOriginMatch(), getFullSubsumerMatch().getClassExpressions() .get(getConclusionSubsumerPrefixLength() - 1)); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }
SubClassInclusionComposedMatch1 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getConclusion(factory), getOriginMatch(), getFullSubsumerMatch(), getConclusionSubsumerPrefixLength()); }