SubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression definedClass = secondPremiseMatch .getFirstMemberMatch(); if (!parent.getDefinedClassMatch().equals(definedClass)) { throw new ElkMatchException( parent.getParent().getConclusionSubsumer(), definedClass); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression definedClass = secondPremiseMatch .getFirstMemberMatch(); if (!parent.getDefinedClassMatch().equals(definedClass)) { throw new ElkMatchException( parent.getParent().getConclusionSubsumer(), definedClass); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }
SubClassInclusionComposedDefinedClassMatch2( SubClassInclusionComposedDefinedClassMatch1 parent, IndexedEquivalentClassesAxiomMatch2 secondPremiseMatch) { super(parent); ElkClassExpression definedClass = secondPremiseMatch .getFirstMemberMatch(); if (!parent.getDefinedClassMatch().equals(definedClass)) { throw new ElkMatchException( parent.getParent().getConclusionSubsumer(), definedClass); } this.definitionMatch_ = secondPremiseMatch.getSecondMemberMatch(); checkEquals(secondPremiseMatch, getSecondPremiseMatch(DEBUG_FACTORY)); }