public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), getSubsumer()); }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), getSubsumer()); }
public SubClassInclusionDecomposed getPremise( SubClassInclusionDecomposed.Factory factory) { return factory.getSubClassInclusionDecomposed(getOrigin(), getSubsumer()); }
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)); }