@Override public SubClassInclusionComposedObjectIntersectionOfMatch1 getSubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedObjectIntersectionOfMatch1(parent, conclusionMatch); }
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); }
SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
public SubClassInclusionComposedMatch1 getFirstPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch1( getParent().getParent().getFirstPremise(factory), getExtendedOriginMatch(), getParent().getFullSubsumerMatch(), getParent().getConclusionSubsumerPrefixLength() - 1); }
SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public String visit( SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1) { return inferenceMatch1.getParent() + " | "; }
public SubClassInclusionComposedMatch2 getConclusionMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getParent().getConclusionMatch(factory), getExtendedExtendedOriginMatch()); }
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); }
SubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { super(parent); originMatch_ = conclusionMatch.getDestinationMatch(); IndexedObjectIntersectionOfMatch conclusionSubsumerMatch = conclusionMatch .getSubsumerIndexedObjectIntersectionOfMatch(); fullSubsumerMatch_ = conclusionSubsumerMatch.getFullValue(); conclusionSubsumerPrefixLength_ = conclusionSubsumerMatch .getPrefixLength(); checkEquals(conclusionMatch, getConclusionMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedObjectIntersectionOfMatch1 inferenceMatch1 = inferenceMatch2 .getParent(); int prefixLength = inferenceMatch1.getConclusionSubsumerPrefixLength(); ElkObjectIntersectionOf fullSubsumerMatch = inferenceMatch1 .getFullSubsumerMatch(); List<? extends ElkClassExpression> conjuncts = fullSubsumerMatch .getClassExpressions();
SubClassInclusionComposedMatch2 getSecondPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionComposedMatch2( getParent().getSecondPremiseMatch(factory), getExtendedOriginMatch()); }
@Override public SubClassInclusionComposedObjectIntersectionOfMatch1 getSubClassInclusionComposedObjectIntersectionOfMatch1( SubClassInclusionComposedObjectIntersectionOf parent, SubClassInclusionComposedMatch1 conclusionMatch) { return new SubClassInclusionComposedObjectIntersectionOfMatch1(parent, conclusionMatch); }