SubClassInclusionExpandedFirstEquivalentClassMatch2( SubClassInclusionExpandedFirstEquivalentClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); this.premiseSubsumerMatch_ = secondPremiseMatch.getFirstMemberMatch(); this.conclusionSubsumerMatch_ = secondPremiseMatch .getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedFirstEquivalentClassMatch2( SubClassInclusionExpandedFirstEquivalentClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); this.premiseSubsumerMatch_ = secondPremiseMatch.getFirstMemberMatch(); this.conclusionSubsumerMatch_ = secondPremiseMatch .getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionExpandedFirstEquivalentClassMatch2( SubClassInclusionExpandedFirstEquivalentClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); this.premiseSubsumerMatch_ = secondPremiseMatch.getFirstMemberMatch(); this.conclusionSubsumerMatch_ = secondPremiseMatch .getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }