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()); }
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); }
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch();
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch();
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch();