SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionDecomposedMatch2 getPremiseMatch( ConclusionMatchExpressionFactory factory) { return factory.getSubClassInclusionDecomposedMatch2( getParent().getPremiseMatch(factory), getExtendedOriginMatch(), getParent().getConclusionSubsumerMatch()); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedEntityMatch2( SubClassInclusionComposedEntityMatch1 parent, SubClassInclusionDecomposedMatch2 premiseMatch) { super(parent); SubsumerMatch subsumerMatch = premiseMatch.getSubsumerMatch(); if (!parent.getConclusionSubsumerMatch().equals(subsumerMatch)) { throw new ElkMatchException(getParent().getParent().getSubsumer(), subsumerMatch); } this.extendedOriginMatch_ = premiseMatch.getExtendedDestinationMatch(); checkEquals(premiseMatch, getPremiseMatch(DEBUG_FACTORY)); }